8018e2 update for new git snapshot

Authored and Committed by Martin Gansser 4 years ago
    update for new git snapshot
    
        
file modified
+2 -0
file modified
+1 -5
file modified
+11 -23