diff --git a/editors/texstudio/files/patch-src_texstudio.cpp b/editors/texstudio/files/patch-src_texstudio.cpp
new file mode 100644
index 000000000000..ff443ccb6492
--- /dev/null
+++ b/editors/texstudio/files/patch-src_texstudio.cpp
@@ -0,0 +1,11 @@
+--- src/texstudio.cpp.orig	2020-09-03 02:38:42 UTC
++++ src/texstudio.cpp
+@@ -3600,7 +3600,7 @@ void Texstudio::editEraseWordCmdEnv()
+ 
+ 	switch (tk.type) {
+     case Token::commandUnknown:
+-        [[gnu::fallthrough]]
++        [[gnu::fallthrough]];
+ 	case Token::command:
+ 		command = tk.getText();
+ 		if (command == "\\begin" || command == "\\end") {