Stefan Sperling wrote on Thu, 28 May 2020 10:02 +0200: > On Thu, May 28, 2020 at 07:59:31AM +0000, Daniel Shahaf wrote: > > Seems to cover everything. I took a stab at a slight reorganization; > > WDYT? — > > Sure, your wording changes are fine with me. +1 to commit :) >
r1878222.
