merged

2015-03-03 10:30:06 -05:00 · 2015-03-03 10:30:06 -05:00 · 5b09eca688
parent 141a5148eb d501c3b3d6
commit 5b09eca688
3 changed files with 3 additions and 2 deletions
--- a/.hgtags
+++ b/.hgtags
@ -23,3 +23,4 @@ a6c2b16111b8023dbded7299dcc7e6acd26671b8 v18.8
 dd8e950033d5026373acce9ed4b2ffb85908d3b5 v18.11
 4e3941b13ca859f788853cfcef9973ac4b161e65 v18.12
 67c3ad208aae9537cf16f64936dd62e2210caa96 v18.13
+cae7fcc9e6a9b28b44a703e4598f44286fec734d v18.14
--- a/docs/.current_minor_release_number
+++ b/docs/.current_minor_release_number
@ -1 +1 @@
-13
+14
--- a/docs/.logger_revnum
+++ b/docs/.logger_revnum
@ -1 +1 @@
-67c3ad208aae
+cae7fcc9e6a9