Something weird happened between the development branch and master branch. Likely, Updated README commit was simply pushed to master. No big deal.
Since there's no one working on this, I decided to git reset --hard master on the development branch to make it match master. Makes this pull request obsolete.
Something weird happened between the development branch and master branch. Likely, Updated README commit was simply pushed to master. No big deal.
Since there's no one working on this, I decided to
git reset --hard master
on the development branch to make it match master. Makes this pull request obsolete.