3 Jan
2018
3 Jan
'18
8:07 p.m.
On Wed, Jan 3, 2018 at 11:35 AM, Dirk Hohndel <dirk@hohndel.org> wrote:
Linus, based on your feedback and Jef's comment I rewrote 7/14; can you please double check that I didn't mess this up by combining it all in one operation?
Looks ok to me. The rest looks fine too, although I notice that your git branch still has the old version. Linus