Closed GoogleCodeExporter closed 9 years ago
Good point. Yes, we should do this.
Original comment by hearn@google.com
on 10 Jun 2011 at 9:31
Original comment by mi...@google.com
on 14 Oct 2011 at 8:15
Original comment by hearn@google.com
on 17 Dec 2011 at 12:19
Original issue reported on code.google.com by
andreas....@gmail.com
on 9 Jun 2011 at 9:08