5a3a2c8 Merge 0.4.7 release

Authored and Committed by Libor Polčák 2 years ago
    Merge 0.4.7 release
    
    20a745f not merged as we expect that 0.5 will have the inject mechanism
    rewritten.
    
    Conflict in update.js: resolved and all users including developers
    should be fine without any action.
    
        
file modified
+14 -0
file modified
+12 -2
file modified
+1 -0
file modified
+3 -0