mirage/mirari — pull request #4 by vbmithr (2013-03-28 16:47:09+00:00)
Title: Fixed mir-crunch

This patch should be released alongside the mirage-fs patch. It fixes mir-crunch when using mirage autoswitch.

New releases should be done for both mirage-fs and mirari.