Not delivering {bugs,gnats,faq}.html in releases

[Wolfgang Bangerth]

> Incidentally, in general the descriptions of categories in gnats.html are
> better-written documentation than those in Bugzilla and should be merged
> into those in Bugzilla.  

OK, that's done now. Thanks for noting this.

W.

-------------------------------------------------------------------------
Wolfgang Bangerth              email:            bangerth@ices.utexas.edu
                               www: http://www.ices.utexas.edu/~bangerth/