diff --git a/doc/langref.html.in b/doc/langref.html.in index 506ecbc4b3d49da1dfac8ad3814617962e3491fa..c208a76ce62f13c4dc40775f3920ba18cfb78130 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