Closed florianhartig closed 6 years ago
@florianhartig I agree this one of the option of working. You are too fast writing, I pushed and requested pull yesterday evening only. Also since I have assigned @checcomi to review and merge the branch I couldn't delete it before he merge.
DONE
@trotsiuk - after merging the pull request, you should delete the branch - there is an option for this in the pull request menu, or you can also delete here https://github.com/checcomi/threePGN-package/branches