<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, May 2, 2013 at 11:34 PM, Paul Bone <span dir="ltr"><<a href="mailto:paul@bone.id.au" target="_blank">paul@bone.id.au</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">For review by anyone.<br>
<br>
Various fixes to website content.<br>
<br>
include/menubar.inc:<br>
Disable the downloads submenus for now. Until we fix the downloads page<br>
more permanently it is best to disable these submenus in the website as<br>
they may confuse visitors.<br>
<br>
documentation/include/deep_demo.inc:<br>
Say that the deep profiler has been available since 10.04<br>
<br>
development/include/developer.inc:<br>
Warn about out-of-date developer's information.<br>
<br>
include/contact.inc:<br>
Add an e-mail address to the contact page as there may be cases where<br>
the mailing lists aren't appropriate.<br>
---<br>
development/include/developer.inc | 8 +++++++-<br>
documentation/include/deep_demo.inc | 3 ++-<br>
include/contact.inc | 7 +++++++<br>
include/menubar.inc | 6 +++++-<br>
4 files changed, 21 insertions(+), 3 deletions(-)<br></blockquote><div><br></div><div>...</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
diff --git a/include/contact.inc b/include/contact.inc<br>
index 688ad3e..c160978 100644<br>
--- a/include/contact.inc<br>
+++ b/include/contact.inc<br>
@@ -17,6 +17,13 @@ Also, you might want to check the current release to see if a newer release is<br>
available, or see the bug tracker to see if the bug has already been reported.<br>
</p><br>
<br>
+<p><br>
+If you wish to contact the core team about something not suitable for the<br>
+mailing lists then e-mail<br>
+<a href="mailto:<a href="mailto:mercury@mercurylangi.org">mercury@mercurylangi.org</a>"><a href="mailto:mercury@mercurylang.org">mercury@mercurylang.org</a></a><br>
</blockquote><div><br></div><div style>s/mercurylangi/mercurylang/</div><div style>(Based on that typo I know which text editor you use!)</div><div><br></div><div style>The rest looks okay.</div><div style><br></div><div style>
Cheers,</div><div style>Julien.</div></div></div></div>