diff --git a/util/lint/lint-016-non-ascii b/util/lint/lint-stable-016-non-ascii
similarity index 100%
rename from util/lint/lint-016-non-ascii
rename to util/lint/lint-stable-016-non-ascii