no edit summary
== Detailed time schedule and checklist ==
# (On the 17th of the release month): The first Jenkins script is triggered to create <code>release/xxxx.x.0</code> branches with version xxxx.x.0.
# Jenkins creates the binaries for xxxx.x.1.
# Nightly builds are created from <code>next</code> after every push in that branch.
The process is repeated after
a set number of months (to-be-decided).
== Version files ==