[petsc-dev] adding Report Typo and Errors link to manual pages

[Satish Balay]

On Tue, 7 Jan 2014, Satish Balay wrote:

> On Tue, 7 Jan 2014, Matthew Knepley wrote:
> 
> > > > Or you can use Chrome and Stop the Madness.
> > >
> > > chrome also defaults to the 'default mailer' for your desktop.
> > >
> > 
> > ? I just tried it and Chrome uses GMail. I have not configured anything.
> > 
> 
> well it spawns evolution for me.

http://googlesystem.blogspot.com/2012/02/open-mailto-links-using-gmail-in-google.html

Looks like if you log into gmail from chrome - it will prompt you to
set gmail as your default 'mailto:' client.

[you might have said 'yes' at some point]

Satish