merged

2015-04-30 18:36:12 -04:00 · 2015-04-30 18:36:12 -04:00 · 28f6e51b1f
parent d25df5a9f3 610ed9905f
commit 28f6e51b1f
3 changed files with 3 additions and 2 deletions
--- a/.hgtags
+++ b/.hgtags
@ -24,3 +24,4 @@ dd8e950033d5026373acce9ed4b2ffb85908d3b5 v18.11
 4e3941b13ca859f788853cfcef9973ac4b161e65 v18.12
 67c3ad208aae9537cf16f64936dd62e2210caa96 v18.13
 cae7fcc9e6a9b28b44a703e4598f44286fec734d v18.14
+feaff82884ded598bde93c635eb3ded9c0933a07 v18.15
--- a/docs/.current_minor_release_number
+++ b/docs/.current_minor_release_number
@ -1 +1 @@
-14
+15
--- a/docs/.logger_revnum
+++ b/docs/.logger_revnum
@ -1 +1 @@
-cae7fcc9e6a9
+feaff82884de