From 70d3d2328cc81e21c444d3f3d27d55cb8ac1611a Mon Sep 17 00:00:00 2001
From: jmtd <jmtd@web>
Date: Tue, 5 Jan 2021 12:07:56 -0400
Subject: [PATCH] situation where rebuild needed

---
 .../disabling_theme_plugin_should_trigger_site_rebuild.mdwn     | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 doc/bugs/disabling_theme_plugin_should_trigger_site_rebuild.mdwn

diff --git a/doc/bugs/disabling_theme_plugin_should_trigger_site_rebuild.mdwn b/doc/bugs/disabling_theme_plugin_should_trigger_site_rebuild.mdwn
new file mode 100644
index 000000000..4250ca521
--- /dev/null
+++ b/doc/bugs/disabling_theme_plugin_should_trigger_site_rebuild.mdwn
@@ -0,0 +1,2 @@
+Disabling [[plugins/theme]] should trigger a site rebuild, just as enabling it does.
+In particular when performing the operation via the [[plugins/websetup]] front-end. *— [[Jon]], 2021-01-05*