diff --git a/changelog/pr.doc b/changelog/3131.doc similarity index 100% rename from changelog/pr.doc rename to changelog/3131.doc