1 Dec
2009
1 Dec
'09
3:18 p.m.
I just checked, and I see that my documentation patches have not been pushed. Any objection to pushing them before the release? If you are willing to do that, I'd appreciate it. I prefer not to do anything irrevocable to the git repo.... Best, r