Advent of bugfixes

[Timon Gehr]

On 23.12.19 08:29, berni44 wrote:
> 22. day: 4 bugs were removed (issues 7737, 17232, 17597, 19564)
> 

Both of my issues you have attempted to close should not have been. 
Please stop the vandalism. I hope you have not been closing other issues 
that should have stayed open, but it appears your judgement can be 
rather biased towards closing issues. Probably someone should go over 
all the closed issues and make sure we are not losing anything of value.