diff --git a/docs/src/www/versions.json b/docs/src/www/versions.json index a9bcf3ef153c06..45d3fe1a156a24 100644 --- a/docs/src/www/versions.json +++ b/docs/src/www/versions.json @@ -1,5 +1,6 @@ [ "HEAD", + "v0.17.1", "v0.17.0", "v0.17.0", "v0.16.7",