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

2019-02-26 11:25:15 -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

bug29017

stats: Make PaddingStatistics depend on ExtraInfoStatistics

2019-01-08 18:21:10 +10:00

ticket29435

Fix coverage script.

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