aa202f Change button name to Save instead of Edit while editing pull request

1 file Authored by anshukira 7 years ago , Committed by Pierre-Yves Chibon 7 years ago ,
     Change button name to Save instead of Edit while editing pull request
    
    Fixes #3935
    Merges #3945