On Mon, Oct 29, 2018 at 06:02:05PM +0000, Paul Durrant wrote: > They're not really useful so maintaining them is pointless. > > Signed-off-by: Paul Durrant <paul.durr...@citrix.com>
If you think they are not helpful: Reviewed-by: Roger Pau Monné <roger....@citrix.com> Thanks, Roger. _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
