0.13 release #884
Description
- close Change scriptcs filesystem names to avoid clashes #626 (@adamralph)
- close Default to REPL when other options are passed #869 (@adamralph)
- ensure all 0.13 issues are attached to the milestone and labelled appropriately (@adamralph)
- bump version number - PR raised increment to version 0.13.0 #905 (@adamralph)
- draft GitHub release (@adamralph)
- raise PR from dev to master (@adamralph) - merge dev to master #907
- raise PR for blog post regarding file system changes in Change scriptcs filesystem names to avoid clashes #626 (@adamralph) - added 2015-02-02-version-0.13.md scriptcs.github.com#1
- merge PR from dev to master (@adamralph)
- merge PR for blog post (@glennblock)
- publish GitHub release (@adamralph)
- announce