nicolaspetton pushed a change to branch master.
from 276be67 Merge commit '1c9cdd66501a2f32c59347c56cf4a4316e51ad32'
adds a0e69ee Better generated HTML pages
adds d6e6476 * admin/archive-contents.el (archive--html-header): Use
`title' for the H1.
adds a50a613 M
nicolaspetton pushed a change to branch new-website.
from cf17f8b Merge branch 'master' into new-website
adds 6d3d281 debbugs-gnu.el: Doc fixes
adds e41db04 Fix errors detected by tests added in last commit
adds 47be1cb Release debbugs 0.11
adds 272b515