diff --git a/doc/langref.html.in b/doc/langref.html.in index 7fc3b38ae7..32be79988c 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -314,8 +314,8 @@ 0.9.1 | 0.10.1 | 0.11.0 | - 0.12.0 | - master + 0.12.1 | + master Table of Contents