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
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