Closed GoogleCodeExporter closed 9 years ago
Done in r173. Leaving open until recent vocabulary changes are reviewed and
confirmed by all editors.
Original comment by richard....@gmail.com
on 12 Dec 2010 at 10:23
Closed as per today's teleconference
Original comment by richard....@gmail.com
on 14 Dec 2010 at 12:01
Original issue reported on code.google.com by
richard....@gmail.com
on 8 Dec 2010 at 8:11