When a supposedly fixed bug shows up again

master Stephan commited on 11 Jun 2019