-
Simon Marlow authored
In the panic message, point to the bug reporting page in the User's Guide rather than directly to the bug reporting page. That way people will see the bug reporting instructions as well as the direct link (which has now changed).
fd5a12e7