diff --git a/doc/langref.html.in b/doc/langref.html.in index ef2b6b971..bcee4276e 100644 --- a/doc/langref.html.in +++ b/doc/langref.html.in @@ -351,7 +351,7 @@ 0.7.1 | 0.8.1 | 0.9.1 | - 0.10.0 | + 0.10.1 | master