From: Eric B. <eri...@gm...> - 2013-11-29 13:52:35
|
Hello! If there are no objections, I’ll run the 3.2.12 release script at 9:30 EDT. During that period, please refrain from pushing anything into the repository until you see the release announcement. Thank you! Eric |