Denis Auroux - 2019-06-06

Done -- it's added in the GIT repository. (No promises about an actual numbered release coming anytime soon, there's not really enough recent updates to justify it).

Denis