Update release_procedure.rst