Commit 3607d3b756bfae073c35454feb4ec6fd7c764b0a

bschaefer 2016-02-21T15:19:35

Fix API/ABI breakage in Mir 0.13/0.14.