diff --git a/doc/langref.html.in b/doc/langref.html.in index e79db5baf4dcedacb63783c4b4f18d4a7763e192..b30c01dfe66ed0c3c9b9e5bb87abb3586c0221d1 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -316,7 +316,7 @@ 0.11.0 | 0.12.0 | 0.13.0 | - 0.14.0 | + 0.14.1 | master