------------------------------------------------------------------- Mon Jan 6 14:56:19 UTC 2020 - Tomáš Chvátal - Initial commit, needed by calmjs