From 9c88d5967fee49d9e69b0e5dd22ca3bc44f9a12e Mon Sep 17 00:00:00 2001
From: Jacky Zhao <j.zhao2k19@gmail.com>
Date: Sun, 03 Dec 2023 17:22:16 +0000
Subject: [PATCH] fix: don't show popovers on heading anchors

---
 0 files changed, 0 insertions(+), 0 deletions(-)


--
Gitblit v1.10.0