Closed GoogleCodeExporter closed 9 years ago
What should be done about this?
Original comment by dr.s.m.f...@gmail.com
on 9 Apr 2014 at 9:50
This is being made into WontFix. It should be considered by the steering
committee.
Original comment by dr.s.m.f...@gmail.com
on 14 Apr 2014 at 7:42
Original issue reported on code.google.com by
dr.s.m.f...@gmail.com
on 11 Apr 2013 at 4:18