(rebuild) Fri Jul 31 15:44:27 UTC 2020
(minor) Wed Jul 29 17:16:38 CEST 2020
Merge branch 'master' of https://github.com/michael105/minilib
before cleanup
minor changes