480847e Fix 'Incorrect printing of source lines (colorized source lines not

Authored and Committed by sergiodj 4 years ago
    Fix 'Incorrect printing of source lines (colorized source lines not
      updated when source reloaded?)' (H. J. Lu, Sergio Durigan Junior,
      RHBZ 1784210).
    
        
file modified
+9 -0
file modified
+2 -0
file modified
+2 -0
file modified
+6 -1