tree 8c71815b398c1fd04189b00f44b7bfffe5f099a1
parent 53087c11c10b453af4f2eb47471434eae75526f9
author Gustavo Niemeyer <gustavo@niemeyer.net> 1371651754 -0400
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1371651754 -0400

Test and fix bug #1191981.