From 1561db66c0eca470f56e16815a3ce9dce99f6bb6 Mon Sep 17 00:00:00 2001
From: furo <furo@posteo.net>
Date: Thu, 14 Mar 2024 17:17:08 +0100
Subject: [PATCH] Add #8019 to `formatting-revs.txt`

---
 formatting-revs.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/formatting-revs.txt b/formatting-revs.txt
index c79490094..cf0ed5e18 100644
--- a/formatting-revs.txt
+++ b/formatting-revs.txt
@@ -11,3 +11,4 @@ d4da82f977abb34cd0ed9a77e707b4c42f26673d
 3be8a592e52a03e555b6aa29a8dea529797bb645
 01edaec628ec325d47d74a667ccaa2aed43f30c9
 a69dc599a99ef7393985e96a98c80f8217f66998
+17402cc43fdf51c8cb81b724228f11c423d17007