Post-release version bump

This is the first commit on the 1.14 stable series branch. 1.13.12 is 1.14 RC 1,
so we're just bumping to 1.13.12+dev/1.13.13 here. If the next release is 1.14.0,
we'll set the versions accordingly.

Doxyfile

@@ -38,7 +38,7 @@ PROJECT_NAME           = "The Battle for Wesnoth"
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = 1.13.12
+PROJECT_NUMBER         = 1.13.12+dev
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a

changelog.md

@@ -1,3 +1,5 @@
+## Version 1.13.12+dev
+
 ## Version 1.13.12
  ### Security fixes
    * Disallowed access to blacklisted file paths such as hidden files and

players_changelog.md

@@ -2,6 +2,9 @@ This is meant to be a concise list of player-visible changes (very minor
 changes may be omitted). For a complete list of changes, see the main
 changelog: https://github.com/wesnoth/wesnoth/blob/master/changelog.md
 
+## Version 1.13.13+dev
+
+
 ## Version 1.13.12
  ### Security fixes
    * Disallowed access to blacklisted file paths such as hidden files and

src/wesconfig.h

@@ -40,11 +40,11 @@
   #undef VERSION
 #endif
 
-#define VERSION "1.13.12"
+#define VERSION "1.13.12+dev"
 
 // Used for the Windows executables' version info resource.
 #define RC_VERSION_MAJOR        1
 #define RC_VERSION_MINOR        13
-#define RC_VERSION_REVISION     12
+#define RC_VERSION_REVISION     13
 
 #endif