push after release to ensure that the WHATSNEW.txt file gets preserved
1 parent ed72c36 commit 925a8ca0cfd77e14c7aa0760c9de01f0e8c6cc5b
@tundra tundra authored on 28 Sep 2016
Showing 1 changed file
View
makefile