Closed cvanderaa closed 1 year ago
I forward the PR that was discussed and merged in my fork.
Note that the git history is polluted with an "Added Figure3" commit but its effect has been reverted.
@nslavov I don't have merge permission, could you have a quick look and merge upon agreement?
I forward the PR that was discussed and merged in my fork.
Note that the git history is polluted with an "Added Figure3" commit but its effect has been reverted.