722da5 merge a big old pile of patches from various places, thanks to revast on github

Authored and Committed by spot 9 months ago
    merge a big old pile of patches from various places, thanks to revast on github
    
        
file modified
+51 -1