Fix various minor issues
#3
Merged
erdnaxe
merged 7 commits from various_fixes
into master
2 years ago
7 Commits (master)
Author | SHA1 | Date |
---|---|---|
jeltz | 27d7d5f68a | 2 years ago |
jeltz | 87216b09d8 | 2 years ago |
jeltz | 64815b9010 | 2 years ago |
jeltz | 242c575fc3 | 2 years ago |
jeltz | 42c42d2cf8 | 2 years ago |
jeltz | d9d358946d | 2 years ago |
jeltz | f85140f8f0 | 2 years ago |