On Wed, Aug 28, 2019, at 3:36 PM, Thorsten Kukuk wrote:
There was a mail several months or so ago with this github Url, which
we
used for the discussions:
https://github.com/thkukuk/atomic-updates_and_etc/blob/master/README.md
Cool, thanks. I filed
https://github.com/thkukuk/atomic-updates_and_etc/issues/3