From c2b06ad1e7b89a93a416ab3840887bcdd2d1a94d Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 25 Mar 2019 19:52:32 +0200 Subject: Update release doc --- doc/release.cli | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/release.cli b/doc/release.cli index a9ca45a..fa208a3 100644 --- a/doc/release.cli +++ b/doc/release.cli @@ -723,6 +723,8 @@ distribution from \c{etc/stage} and add the pre-distributed packages building all the staged packages. Make sure all the builds of the new development snapshot are successful and there is nothing unbuilt. + Upgrade \c{brep} on \c{stage}. + \h#commit-reopen|Commit and push \c{etc/} and \c{private/}.| Commit and push changes to \c{etc/} and \c{private/}. -- cgit v1.1