Revision 21495e7217439e6d7e80f4bf88e2eb557ef3d62f

Committed on 24/09/2015 10:20 pm by Michael M. Wasser <untoldone@users.noreply.github.com> [GitHub Diff]

case insensitive prefix