From 4565cfb9f4b55b6fa3fc1d6f9142a8391b207b3c Mon Sep 17 00:00:00 2001
From: "https://id.koumbit.net/anarcat" <https://id.koumbit.net/anarcat@web>
Date: Mon, 9 Apr 2012 11:15:05 -0400
Subject: [PATCH]

---
 doc/bugs/definition_lists_should_be_bold.mdwn | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/bugs/definition_lists_should_be_bold.mdwn b/doc/bugs/definition_lists_should_be_bold.mdwn
index 95233f78c..a72206b8c 100644
--- a/doc/bugs/definition_lists_should_be_bold.mdwn
+++ b/doc/bugs/definition_lists_should_be_bold.mdwn
@@ -23,3 +23,5 @@ I believe `<dt>` should be made bold. I have added this to my `local.css`, and I
 > browsers. I don't think it's ikiwiki's place to override browser defaults
 > for standard markup in the document body, at least not in the default
 > antitheme. --[[Joey]] 
+
+> > How about in the actiontab theme then? :)
-- 
2.32.0.93.g670b81a890