On Wed, Aug 26, 2015 at 11:05:09AM +0100, Dominik Vogt wrote: > This patch removes a menu entry that points to an undefined node > in the documentation. The faulty entry has been introduced with > git commit id 3aabc45f2, subversion id 138bc75d-0d04-0410-96. It > looks like the entry is a remnant of an earlier version of the > documentation introduced with that change.
Sorry, this patch is not good. Please ignore; I'll look for a different way to fix the warning. Ciao Dominik ^_^ ^_^ -- Dominik Vogt IBM Germany
