Bugs20130715
============

Here are the known bugs in <:Release20130715:MLton 20130715>, listed
in reverse chronological order of date reported.
