------------------------------------------------------------------- Sat Apr 11 07:07:09 UTC 2020 - Tomáš Chvátal - Initial commit, used by spec-cleaner