From c52d8d263efeffbc31c097fae371b8c572834077 Mon Sep 17 00:00:00 2001
From: PaulePanter <PaulePanter@web>
Date: Fri, 18 Jun 2010 09:08:28 +0000
Subject: [PATCH] `themes.pm` instead of `themes.mdwn`

---
 doc/plugins/discussion.mdwn | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/plugins/discussion.mdwn b/doc/plugins/discussion.mdwn
index 854307a98..49b76c662 100644
--- a/doc/plugins/discussion.mdwn
+++ b/doc/plugins/discussion.mdwn
@@ -34,3 +34,7 @@ Any objections to listing plugins alphabetically rather than by creation date?
 >> "recently changed" list with the 10 most recently changed plugins
 >> at the top.  That would allow what you suggested, but still allow
 >> the main list to be alphabetical. -- [[Will]]
+
+### `themes.pm` instead of `themes.mdwn`
+
+Could someone please change the filename. I cannot fix this using the Web interface. Somebody step in please. --[[PaulePanter]]