Xen 4.11: Switch to final release tags
authorIan Jackson <ian.jackson@eu.citrix.com>
Mon, 9 Jul 2018 13:14:07 +0000 (14:14 +0100)
committerIan Jackson <Ian.Jackson@eu.citrix.com>
Mon, 9 Jul 2018 13:47:16 +0000 (14:47 +0100)
commit66653b4620c3b43709f093f836b227566739a851
tree3fcdb1a6b4f2ec756df5e0dbe4d355c842605b44
parenteb17ff9ce6a99a8761d3f4768703691f34043356
Xen 4.11: Switch to final release tags

No functional change: in each case this tag refers to the same commit
as previously.

Signed-off-by: Ian Jackson <Ian.Jackson@eu.citrix.com>
Reviewed-by: Juergen Gross <jgross@suse.com>
Config.mk