Fixes #51. Release 0.12.
Was already merged in Bitbucket before import, marked as merged by the import user
-
Copied code of the extensions into the core project so that users have a single dependency to pull.
-
Release 0.12
-
Added tag 0.12 for changeset 8dddad996e0d
-
Prepare for next development iteration.