This does a git merge origin/master to pull in the fixes for github actions (and a few others) and then reverts #244 as its not really related to this point release (in commit d575743)
Also grep-ed for 0.13 and added a .1 where necessary (in commit 3caabb2)
Really just a re-release of 0.13.0
This does a
git merge origin/masterto pull in the fixes for github actions (and a few others) and then reverts #244 as its not really related to this point release (in commit d575743)Also grep-ed for
0.13and added a.1where necessary (in commit 3caabb2)