small fix

This commit is contained in:
Simon Cruanes 2015-07-16 11:44:46 +02:00
parent 963f61a0f5
commit 4dc5fb5fc6

View file

@ -6,7 +6,7 @@
3. `make update_next_tag` (to update `@since` comments; be careful not to change symlinks) 3. `make update_next_tag` (to update `@since` comments; be careful not to change symlinks)
4. update `CHANGELOG.md` (see its end to find the right git command) 4. update `CHANGELOG.md` (see its end to find the right git command)
5. commit the changes 5. commit the changes
6. `git checkout stable` 6. `git checkout stable; oasis setup`
7. `git merge master` 7. `git merge master`
8. tag, and push both to github 8. tag, and push both to github
9. new opam package 9. new opam package