On Sat, Feb 21, 2015 at 09:26:50AM +0100, k...@shike2.com wrote: > You can do it by yourself. Clone the wiki repository and push the > change.
Oh, I did not know that the wiki was in a git repository. Thank you for informing me. I don't think I have permission to push (I have limited experience with and understanding of git), but I'll work on a patch to include the patch for st.