Skip to content
Commit e3de5107 authored by Morris Jobke's avatar Morris Jobke
Browse files

Merge pull request #12090 from AdamWill/google-rename-delete 

google: delete original after successful rename
parents 3026cdbc 415411a3
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment