On 01/23/2018 11:30 AM, Gérard Talbot wrote: > Le 2018-01-23 02:45, Koji Ishii a écrit : >> Thank you Gérard for the detailed report. Would it be possible for you to >> submit a pull request? > > Koji, > > No. Unfortunately, it is not possible for me to submit a pull request. > But I talked to Elika about this several days ago and she told me she > could create a script (most likely a search-and-replace) to update the linked references. Done! Thank you so much for your diligence Gérard, it only took me 5 minutes to fix. (And an hour of untangling my git repo with Florian's help, but such is life.) ~fantasaiReceived on Tuesday, 6 February 2018 02:18:41 UTC
This archive was generated by hypermail 2.4.0 : Friday, 20 January 2023 19:58:22 UTC