diff --git a/doc/langref.html.in b/doc/langref.html.in index bb3e00e65652a6357ef1e84eb630a33ee1303c19..e231a4e9458bbfda2b5ec6f5ca6f1bec530faea1 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.1 | + 0.15.2 | master