Closed GoogleCodeExporter closed 8 years ago
This issue was closed by revision r850.
Original comment by drai...@gmail.com
on 1 Nov 2013 at 11:48
Thanks. I think r850 fixes this issue, caused by not handling correctly the
several different options that Doctor makes you pick.
Original comment by drai...@gmail.com
on 1 Nov 2013 at 11:52
Original issue reported on code.google.com by
ras.na...@gmail.com
on 30 Oct 2013 at 2:24