diff --git a/doc/langref.html.in b/doc/langref.html.in index 9315e9764d08e79202ea6325a292a2a6804740d5..123ef1e2edad916ca00f45644dcc5f4f0352b009 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -315,7 +315,7 @@ 0.9.1 | 0.10.1 | 0.11.0 | - 0.12.0 | + 0.12.1 | 0.13.0 | 0.14.1 | 0.15.2 |