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