This release fixes a few bugs and adds Git-Hub related improvements. We recommend to update.