From a59e2c3fafcc44069dd5bc3ea45d738211c560b5 Mon Sep 17 00:00:00 2001 From: benkuly <12199167+benkuly@users.noreply.github.com> Date: Thu, 3 Nov 2022 17:49:06 +0100 Subject: [PATCH] Rename tmp.md to 3925-replace-aggregation-with-full-event.md Signed-off-by: benkuly --- proposals/{tmp.md => 3925-replace-aggregation-with-full-event.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename proposals/{tmp.md => 3925-replace-aggregation-with-full-event.md} (100%) diff --git a/proposals/tmp.md b/proposals/3925-replace-aggregation-with-full-event.md similarity index 100% rename from proposals/tmp.md rename to proposals/3925-replace-aggregation-with-full-event.md