diff --git a/docs/manual/release-notes/rl-0.9.md b/docs/manual/release-notes/rl-0.9.md index c12e3558..396046ca 100644 --- a/docs/manual/release-notes/rl-0.9.md +++ b/docs/manual/release-notes/rl-0.9.md @@ -1,4 +1,4 @@ -# Release 0.5 {#sec-release-0-9} +# Release 0.9 {#sec-release-0-9} ## Changelog {#sec-release-0-9-changelog}