diff --git a/doc/langref.html.in b/doc/langref.html.in index 28577560e285..02c9130845c8 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -315,6 +315,7 @@ 0.10.1 | 0.11.0 | 0.12.0 | + 0.13.0 | master