From dfdd7d97964b1eea5ef33dfcebcf1e5e19475b58 Mon Sep 17 00:00:00 2001
From: Dmitry Zuikov <dzuikov@gmail.com>
Date: Mon, 27 Mar 2023 11:08:46 +0300
Subject: [PATCH] .fixme/config

---
 .fixme/config | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.fixme/config b/.fixme/config
index 9dff2265..c3b115cb 100644
--- a/.fixme/config
+++ b/.fixme/config
@@ -11,6 +11,7 @@ fixme-files **/*.hs docs/devlog.md
 
 fixme-files docs/pep*.txt
 fixme-files docs/drafts/**/*.txt
+fixme-files docs/pr/**/*.txt
 
 fixme-files-ignore .direnv/** dist-newstyle/**