Re: [PATCH] gnu: Add docbook-xml-4.2

[Andreas Enge]

On Sun, Nov 02, 2014 at 06:26:59PM +0100, Federico Beffa wrote:
> Add version 4.2.  It is needed by dconf.

This looks very safe (although we will end up with four versions of it!).

Andreas