Closed liefke closed 4 years ago
In Berlin the 8th of May is a holiday in 2020, see: https://www.berlin.de/special/jobs-und-ausbildung/nachrichten/berlin/5616720-5510939-8-mai-2020-feiertag-in-berlin.html
Coverage decreased (-0.02%) to 64.114% when pulling 455851d93661b77d8a5938a80f8ce6e39a348a89 on liefke:liberation-day-2020 into 3012d71821d08ded795cd07f38bd2b33eec82c9a on svendiedrichsen:master.
In Berlin the 8th of May is a holiday in 2020, see: https://www.berlin.de/special/jobs-und-ausbildung/nachrichten/berlin/5616720-5510939-8-mai-2020-feiertag-in-berlin.html