From 05c8ed4446c416be012e3894f3dc384a9281c728 Mon Sep 17 00:00:00 2001
From: Spencer Wilson <spencer.wilson@uwaterloo.ca>
Date: Tue, 5 Dec 2023 14:46:24 -0500
Subject: [PATCH] Fix Markdown formatting

---
 PLATFORMS.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/PLATFORMS.md b/PLATFORMS.md
index 02cd48566e..ff2b03d9b5 100644
--- a/PLATFORMS.md
+++ b/PLATFORMS.md
@@ -44,13 +44,11 @@ In this policy, the words "must" and "must not" specify absolute requirements th
 
 ### Tier 1
 
-- x86_64/amd64/x64 for Ubuntu Linux (Focal)[^*]
+- x86_64/amd64/x64 for Ubuntu Linux (Focal)*
 - x86_64/amd64/x64 for MacOS (XCode 14)
 - aarch64 for Ubuntu (Focal)
 - armhf/ARM7 and aarch64 emulation on Ubuntu
 
-[^*] Tested for constant-time behaviour.
-
 ### Tier 2
 
 - x86_64/amd64/x64 for Windows 2022