Closed GoogleCodeExporter closed 9 years ago
TEST
Original issue reported on code.google.com by bart0...@gmail.com on 16 May 2012 at 9:43
bart0...@gmail.com
Original comment by gvanrossum@gmail.com on 16 May 2012 at 9:45
gvanrossum@gmail.com
Original issue reported on code.google.com by
bart0...@gmail.com
on 16 May 2012 at 9:43