Branch Xen 4.15: Change version numbers
authorIan Jackson <ian.jackson@eu.citrix.com>
Mon, 13 Jul 2020 13:50:06 +0000 (14:50 +0100)
committerIan Jackson <ian.jackson@eu.citrix.com>
Mon, 13 Jul 2020 13:50:06 +0000 (14:50 +0100)
commit3df0424e69549ca21613fad3654509c35b2a3e94
tree8aab01cbfcbd05192bcace365bd9fee8a605d8ab
parent02d69864b51a4302a148c28d6d391238a6778b4b
Branch Xen 4.15: Change version numbers

And rerun autogen.sh.  No changes other than to versions.

Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
README
SUPPORT.md
configure
docs/configure
stubdom/configure
tools/configure
xen/Makefile