diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-04-12 14:04:06 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2019-04-12 14:28:47 +0200 |
| commit | 3b5cda4d276a6c0e3debab03d0aa18b3d607cc72 (patch) | |
| tree | 15744e6b62bae2b67ca755c11914ac7641c59bd5 /tools | |
| parent | a557b0158244dac05ea580ee0c49be404f355c22 (diff) | |
| download | ocaml-3b5cda4d276a6c0e3debab03d0aa18b3d607cc72.tar.gz | |
Merge pull request #8604 from gretay-js/pr2207
Add opam files to allow pinning
(cherry picked from commit e89287f056b3641af214f8d71717c6fa81de531b)
(version changed 4.08 => 4.09)
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/release-checklist | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/release-checklist b/tools/release-checklist index f6fa6c3269..568934abc2 100644 --- a/tools/release-checklist +++ b/tools/release-checklist @@ -109,7 +109,8 @@ make tests # 4.07.0+dev8-2018-06-19 => 4.07.0+dev9-2018-06-26 # for production releases: check and change the Changes header # (remove "next version" and add a date) -git add VERSION Changes +# Update ocaml-variants.opam file to depend on the new version of ocaml. +git add VERSION Changes ocaml-variants.opam git commit -m "last commit before tagging $VERSION" # update VERSION with the new release; for example, # 4.07.0+dev9-2018-06-26 => 4.07.0+rc2 |