On Thu, 30 Apr 2020, Kyrylo Tkachov wrote:
> Ok.

Ah, and you also pushed it in Git.  (I was just going to do it
since Anton does not appear to have an account, and noticed it
was a no-op. ;-)

Thanks,
Gerald

Reply via email to