Released version 0.12

       * Change from "git remote update ..." to "git fetch ..."