Julian Foad wrote on Tue, 31 Jul 2018 22:27 +0100: > Daniel Shahaf wrote: > >Add the "work in progress" notice (r1780199)? > > Yes please!
Sure, r1837213. (Would've committed it myself but I had already missed the first act of the first dream...)
Julian Foad wrote on Tue, 31 Jul 2018 22:27 +0100: > Daniel Shahaf wrote: > >Add the "work in progress" notice (r1780199)? > > Yes please!
Sure, r1837213. (Would've committed it myself but I had already missed the first act of the first dream...)