Markus Trippelsdorf Sat, 10 Dec 2016 23:42:33 -0800
The git server seems to be stuck for over a day. Latest revision on it is r243504. Latest svn revision is r243523.
-- Markus