Amen. I had a comment drafted and almost ready to go when Bjarni made it unnecessary.
Doug Date: Thu, 2 Apr 2020 19:11:35 -0700 From: Larry McVoy <l...@mcvoy.com> Agreed. On Thu, Apr 02, 2020 at 09:11:50PM -0400, Mike Bianchi wrote: > Bjarni, > Nice, tight analysis and proposed solutions. Thank you. > Mike Bianchi > > On Thu, Apr 02, 2020 at 11:58:01PM +0000, Bjarni Ingi Gislason wrote: snip
