On Wed, Jul 15, 2020 at 1:55 PM Daniel Sahlberg <daniel.l.sahlb...@gmail.com> wrote: > I have updated the text according to your suggestion except that I don't > think we need to keep the tigris.org site reference at all so I removed the > text in parentheses. Thanks for finding the new site, my google-fu wasn't > enough.
Thanks! Committed in r1879904. Cheers, Nathan
