the "NEWS" file is now called "CHANGELOG"; fix this in the "RELEASING" instructions
Ignore-this: 35ba119bdb111f91844a3c16ecf79e7b darcs-hash:20140707174439-7469c-393e1047f758f9cbd10d88d6cb4003abc97fd37e
This commit is contained in:
parent
4e53752d41
commit
699abee92b
Loading…
Reference in New Issue
Block a user