diff --git a/doc/langref.html.in b/doc/langref.html.in index 417d7e2956100cae04de66c84460541454c88e02..9e2659d97707ef1687585570c61749b71c75fc2a 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -317,7 +317,7 @@ 0.12.0 | 0.13.0 | 0.14.1 | - 0.15.0 | + 0.15.1 | master