David Goulet e4429d2341 Merge branch 'maint-0.4.0' into release-0.4.0

2019-02-26 10:48:13 -05:00

..

.dummy

Add a .dummy file in the changes directory to stop git from removing it

2015-05-11 11:41:48 -04:00

bug13221

Fix some error-checking logic and a misleading error message

2019-02-25 16:03:42 -06:00

ticket29435

Fix coverage script.

2019-02-08 10:43:38 -05:00