Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Newsletters: add #24 (2018-12-04) #92
A slow news week, so I didn't feel bad about some of the topics needing (IMO) a bit of an extended description. Some notes:
jnewbery left a comment
utACK b2af139. A few nits inline.
Me neither. I haven't spent enough time to understand what the motivation is. Your short description seems sufficient.