From 3e9bb4925ba776902516a989d9d03a5b7a116156 Mon Sep 17 00:00:00 2001 From: Aaron Franke Date: Mon, 7 Aug 2023 10:12:40 -0500 Subject: [PATCH] Rename additional float formats file to 3453-f16-and-f128 Co-authored-by: Qiu Chaofan --- text/{3451-additional-float-types.md => 3453-f16-and-f128.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename text/{3451-additional-float-types.md => 3453-f16-and-f128.md} (100%) diff --git a/text/3451-additional-float-types.md b/text/3453-f16-and-f128.md similarity index 100% rename from text/3451-additional-float-types.md rename to text/3453-f16-and-f128.md