changed: print warnings if stats do not match notes sum of times. thi…#6

Merged

ndu2 merged 1 commit intodevelopfrom

Feb 28, 2021

Commits on Feb 28, 2021

changed: print warnings if stats do not match notes sum of times. this is because if you move a issue in git, it will loose the stats-time after moving
Andreas Müller
committed