9c7e536 Update nototools package from upstream git repo

Authored and Committed by mfabian 4 years ago
    Update nototools package from upstream git repo
    
        
file modified
+1 -0
file modified
+4 -5
file modified
+6 -3
file modified
+1 -1