Thanks for doing that. I unfortunately haven't taken any time for opensource since the beginning of this COVID madness.
Feel free to push it now. It's totally fine with me. Thanks Joseph
- Bug#971704: gnome-shell-pomodoro: diff for NMU version 0.18... Joseph Herlant
