George Kadianakis a3b8ba5098 Merge branch 'maint-0.4.5' into release-0.4.5

2021-01-12 18:05:32 +02:00

..

.dummy

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

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

ticket40237

hs-v3: Require reasonably live consensus

2021-01-12 09:46:35 -05:00