Closed hamarituc closed 3 years ago
This series of commits fixes some minor bugs I encountered during usage of the tools. I would be glad about merging the patches into the master branch. Many thanks in advance.
This series of commits fixes some minor bugs I encountered during usage of the tools. I would be glad about merging the patches into the master branch. Many thanks in advance.