--- hatari/src/gui-sdl/dlgDisc.c	2019/04/01 07:12:47	1.1.1.3
+++ hatari/src/gui-sdl/dlgDisc.c	2019/04/01 07:13:16	1.1.1.4
@@ -4,7 +4,7 @@
   This file is distributed under the GNU Public License, version 2 or at
   your option any later version. Read the file gpl.txt for details.
 */
-char DlgDisk_rcsid[] = "Hatari $Id: dlgDisc.c,v 1.1.1.3 2019/04/01 07:12:47 root Exp $";
+const char DlgDisk_rcsid[] = "Hatari $Id: dlgDisc.c,v 1.1.1.4 2019/04/01 07:13:16 root Exp $";
 
 #include "main.h"
 #include "configuration.h"