Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Format 'replace' as red as well since it's just as dangerous as 'dest…
…roy'. Fixes #1458.
- Loading branch information