0bef05f generate-report.py: fix the priority between manual and automatic notes

Authored and Committed by Owen W. Taylor 6 years ago
    generate-report.py: fix the priority between manual and automatic notes
    
    Manual notes should win.
    
        
file modified
+3 -3