7 Aug
2013
7 Aug
'13
4:27 p.m.
On 07/08/13 03:56, Dave Abrahams wrote:
Boy, you really haven't been paying attention: that part is done. Throwing out all that work at this point because you get the sense "it's time to reboot" would be... well, pick your adjective. Too many are flying through my brain right now to choose.
So when is the official move to git planned? All contributors who cared should have already reviewed that their history is satisfying.