On Thursday, 17 September 2020 at 13:45:16 UTC, Mike Parker wrote:
On Thursday, 17 September 2020 at 13:42:47 UTC, Jean-Louis Leroy wrote:this point I have some hope that the DIP is not damaging in the way Mike thinks.What Mike thinks appears nowhere in my post :-)
OK, s/thinks/reports/ ;-)
