[PATCH 1/5] ui-shared: HTML-ize DOCTYPE and <html>

Wed May 11 21:28:40 CEST 2016

On Wed, May 11, 2016 at 07:56:19PM +0100, John Keeping wrote:
> I think we need to fix all of those as well if we're going to claim to
> be HTML rather than XHTML.  I suspect that would be a bit big to review
> as a single patch, but I certainly think that it should be applied as a
> single patch series.

It shouldn't be a squashed "single patch", but rather merged with
`git merge --no-ff` to keep the full history.

But I agree, this is still too incomplete to be merged.