I ran into a confusing branching situation when accidentally basing a PR off master instead of develop, since there is a release commit in master that isn't in develop (it looks like a squash-merge of all the 0.0.8 changes?). This PR merges master back into develop to prevent this from happening in the future.
Purpose and motivation
I ran into a confusing branching situation when accidentally basing a PR off master instead of develop, since there is a release commit in master that isn't in develop (it looks like a squash-merge of all the 0.0.8 changes?). This PR merges master back into develop to prevent this from happening in the future.
Status