jimjh/aladdin — pull request #1 by jimjh (2012-11-15 03:36:23+00:00)
Title: Added sanitization.

[fixes #39338421]