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

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