diff --git a/contrib/devtools/replace.pl b/util/replace.pl
similarity index 100%
rename from contrib/devtools/replace.pl
rename to util/replace.pl