You must log in to post
Please turn it on in your browser preferences.
for specific sites, we recommend the
Review Request #8010 -
Created Nov. 11, 2012 and submitted
July 18, 2013, 12:04 a.m.
cosmetic patch to solve ant checkstyle errors
ant checkstyle reports no errors, ant test was done
That patch looks good to me, I'll commit it shortly!