teor 84e9060f4d Merge branch 'maint-0.4.2' into release-0.4.2 6 years ago
..
.dummy df76da0f3b Add a .dummy file in the changes directory to stop git from removing it 11 years ago
ticket28970 ed57a04a65 hs-v3: Remove a BUG() caused by an acceptable race 6 years ago