There were 2 commits on dev that were not on master yet.
I updated the README and demo polishing commit and removed the changes from .solcover.json that were not needed any more. That's why there is a new commit there. But you already reviewed and approved all of these changes 2 weeks ago when I PRd them into dev.
We should merge the 2 commits into master and then we should delete the dev branch.
We will only need a dev branch again once we have a stable master branch (after audit completion)
There were 2 commits on dev that were not on master yet.
I updated the README and demo polishing commit and removed the changes from
.solcover.jsonthat were not needed any more. That's why there is a new commit there. But you already reviewed and approved all of these changes 2 weeks ago when I PRd them into dev.We should merge the 2 commits into
masterand then we shoulddeletethedevbranch.We will only need a
devbranch again once we have a stablemasterbranch (after audit completion)