diff --git a/doc/langref.html.in b/doc/langref.html.in index 6f3e9961c3892b57f307855fd75dec7109e66b2c..2a53d40b4c9fd2c8b21546d80d8d149e704c5e4c 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -314,6 +314,7 @@ 0.9.1 | 0.10.1 | 0.11.0 | + 0.12.0 | master