Closed GoogleCodeExporter closed 8 years ago
Indeed, it should not do that. We will let the users decide if they want them
to be case-insensitive.
This was changed in Revision: 738fe08d014d
Original comment by rodrigo.moraes
on 24 Aug 2011 at 9:58
Original issue reported on code.google.com by
gmarke...@gmail.com
on 14 Aug 2011 at 11:29