Merge commit 'c9527bf3'

* commit 'c9527bf3':
  Make the RELEASE file match with the most recent tag

This commit is noop.
Merged-by: Clément Bœsch <u@pkh.me>