v0.0.12

José Joaquín Atria

@jjatria

5d8299d4 · Version bump to 0.0.12 · Aug 03, 2015

Fixes a bug that caused some instabilities when closing editors in Mac