Re: [PATCH] Remove references to tigris.org from website

2020-07-19 Thread Nathan Hartman
On Fri, Jul 17, 2020 at 9:05 AM Yasuhito FUTATSUKI wrote: > > On 2020/07/16 5:50, Nathan Hartman wrote: > > On Wed, Jul 15, 2020 at 1:55 PM Daniel Sahlberg > > wrote: > >> I have updated the text according to your suggestion except that I don't > >> think we need to keep the tigris.org site refe

Re: [PATCH] Remove references to tigris.org from website

2020-07-19 Thread Yasuhito FUTATSUKI
On 2020/07/20 4:22, Nathan Hartman wrote: > On Fri, Jul 17, 2020 at 9:05 AM Yasuhito FUTATSUKI > wrote: >> >> On 2020/07/16 5:50, Nathan Hartman wrote: >>> On Wed, Jul 15, 2020 at 1:55 PM Daniel Sahlberg >>> wrote: I have updated the text according to your suggestion except that I don't >>>