Open GoogleCodeExporter opened 8 years ago
Ah, thanks for the patch! We don't use the InputOptions code path anymore, so I
missed this. Your changes look good, I'll apply them as is.
Original comment by cast...@gmail.com
on 19 Jul 2013 at 11:49
Original issue reported on code.google.com by
pierre.m...@gmail.com
on 16 Jul 2013 at 3:48Attachments: