On Tue, May 26, 2020 at 03:36:31PM -0700, David Miller wrote: > From: David Laight <[email protected]> > Date: Tue, 26 May 2020 16:44:07 +0000 > > > This should be 3/8. > > David just respin this at some point and with this fixed and also the > header posting saying "0/8" properly instead of "0/1", this is really > messy. > > Thanks.
I don't know why David's workflow is that cumbersome. I'll try to respin this myself, on top of Christoph's latest changes.
