j: Next unread message
k: Previous unread message
j a: Jump to all threads
j l: Jump to MailingList overview
On Mon, Mar 31, 2014 at 01:09:48PM +0100, Richard Prosser wrote:
I agree - links to search tools or at least explanations of how to use them would be very welcome.
It's 2014, not 1998. Do we really need to teach people how to use the Internet? Not just people in general, for that matter, but programmers?