From mboxrd@z Thu Jan  1 00:00:00 1970
From: Michael Young <m.a.young@durham.ac.uk>
Subject: [PATCH 2/2] update the minimal ocaml version to 4.02
Date: Tue, 30 Jan 2018 22:56:56 +0000 (GMT)
Message-ID: <alpine.LFD.2.21.1801302256000.2952@austen3.home>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"; Format="flowed"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xenproject.org>
Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6])
 by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from
 <srs0=kh0k=ez=durham.ac.uk=m.a.young@srs-us1.protection.inumbo.net>)
 id 1egepy-0007QZ-1F
 for xen-devel@lists.xenproject.org; Tue, 30 Jan 2018 22:57:10 +0000
List-Unsubscribe: <https://lists.xenproject.org/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xenproject.org>
List-Help: <mailto:xen-devel-request@lists.xenproject.org?subject=help>
List-Subscribe: <https://lists.xenproject.org/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xenproject.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xenproject.org>
To: Xen-devel <xen-devel@lists.xenproject.org>
Cc: Marcello Seri <marcello.seri@citrix.com>, Wei Liu <wei.liu2@citrix.com>, Christian Lindig <christian.lindig@citrix.com>, John Thomson <git@johnthomson.fastmail.com.au>, David Scott <dave@recoil.org>
List-Id: xen-devel@lists.xenproject.org

VGhlIG9jYW1sIHNhZmUtc3RyaW5ncyBwYXRjaCB1c2VzIGNvZGUgaW50cm9kdWNlZCBpbiBvY2Ft
bCA0LjAyCnNvIHVwZGF0ZSB0aGUgbWluaW1hbCB2ZXJzaW9uLgpTaWduZWQtb2ZmLWJ5OiBNaWNo
YWVsIFlvdW5nIDxtLmEueW91bmdAZHVyaGFtLmFjLnVrPgotLS0KICBzdHViZG9tL2NvbmZpZ3Vy
ZSAgICB8IDQgKystLQogIHN0dWJkb20vY29uZmlndXJlLmFjIHwgMiArLQogIHRvb2xzL2NvbmZp
Z3VyZSAgICAgIHwgMiArLQogIHRvb2xzL2NvbmZpZ3VyZS5hYyAgIHwgMiArLQogIDQgZmlsZXMg
Y2hhbmdlZCwgNSBpbnNlcnRpb25zKCspLCA1IGRlbGV0aW9ucygtKQoKZGlmZiAtLWdpdCBhL3N0
dWJkb20vY29uZmlndXJlIGIvc3R1YmRvbS9jb25maWd1cmUKaW5kZXggYTdhMGMwOTE1NC4uYWJi
NzQ5ZmFlZCAxMDA3NTUKLS0tIGEvc3R1YmRvbS9jb25maWd1cmUKKysrIGIvc3R1YmRvbS9jb25m
aWd1cmUKQEAgLTM1MjgsMTAgKzM1MjgsMTAgQEAgR1JVQl9WRVJTSU9OPSIwLjk3IgoKICBpZiB0
ZXN0ICJ4JE9DQU1MX1VSTCIgPSAieCI7IHRoZW4gOgoKLQlPQ0FNTF9VUkw9Imh0dHA6Ly9jYW1s
LmlucmlhLmZyL3B1Yi9kaXN0cmliL29jYW1sLTMuMTEiCisJT0NBTUxfVVJMPSJodHRwOi8vY2Ft
bC5pbnJpYS5mci9wdWIvZGlzdHJpYi9vY2FtbC00LjAyIgoKICBmaQotT0NBTUxfVkVSU0lPTj0i
My4xMS4wIgorT0NBTUxfVkVSU0lPTj0iNC4wMi4wIgoKCgpkaWZmIC0tZ2l0IGEvc3R1YmRvbS9j
b25maWd1cmUuYWMgYi9zdHViZG9tL2NvbmZpZ3VyZS5hYwppbmRleCA5ZmVjODUzOWQyLi45MDY2
ZGZhYWE3IDEwMDY0NAotLS0gYS9zdHViZG9tL2NvbmZpZ3VyZS5hYworKysgYi9zdHViZG9tL2Nv
bmZpZ3VyZS5hYwpAQCAtNjUsNyArNjUsNyBAQCBBWF9TVFVCRE9NX0xJQihbTElCUENJXSwgW2xp
YnBjaV0sIFsyLjIuOV0sIFtodHRwOi8vd3d3Lmtlcm5lbC5vcmcvcHViL3NvZnR3YXJlLwogIEFY
X1NUVUJET01fTElCKFtORVdMSUJdLCBbbmV3bGliXSwgWzEuMTYuMF0sIFtmdHA6Ly9zb3VyY2Vz
LnJlZGhhdC5jb20vcHViL25ld2xpYl0pCiAgQVhfU1RVQkRPTV9MSUIoW0xXSVBdLCBbbHdpcF0s
IFsxLjMuMF0sIFtodHRwOi8vZG93bmxvYWQuc2F2YW5uYWguZ251Lm9yZy9yZWxlYXNlcy9sd2lw
XSkKICBBWF9TVFVCRE9NX0xJQihbR1JVQl0sIFtncnViXSwgWzAuOTddLCBbaHR0cDovL2FscGhh
LmdudS5vcmcvZ251L2dydWJdKQotQVhfU1RVQkRPTV9MSUJfTk9FWFQoW09DQU1MXSwgW29jYW1s
XSwgWzMuMTEuMF0sIFtodHRwOi8vY2FtbC5pbnJpYS5mci9wdWIvZGlzdHJpYi9vY2FtbC0zLjEx
XSkKK0FYX1NUVUJET01fTElCX05PRVhUKFtPQ0FNTF0sIFtvY2FtbF0sIFs0LjAyLjBdLCBbaHR0
cDovL2NhbWwuaW5yaWEuZnIvcHViL2Rpc3RyaWIvb2NhbWwtNC4wMl0pCiAgQVhfU1RVQkRPTV9M
SUIoW0dNUF0sIFtsaWJnbXBdLCBbNC4zLjJdLCBbZnRwOi8vZnRwLmdtcGxpYi5vcmcvcHViL2dt
cC00LjMuMl0pCiAgQVhfU1RVQkRPTV9MSUIoW1BPTEFSU1NMXSwgW3BvbGFyc3NsXSwgWzEuMS40
XSwgW2h0dHA6Ly9wb2xhcnNzbC5vcmcvY29kZS9yZWxlYXNlc10pCiAgQVhfU1RVQkRPTV9MSUIo
W1RQTUVNVV0sIFtiZXJsaW9zIHRwbSBlbXVsYXRvcl0sIFswLjcuNF0sIFtodHRwOi8vZG93bmxv
YWQuYmVybGlvcy5kZS90cG0tZW11bGF0b3JdKQpkaWZmIC0tZ2l0IGEvdG9vbHMvY29uZmlndXJl
IGIvdG9vbHMvY29uZmlndXJlCmluZGV4IDA1OTIxYjQ4OTguLmZlYjM0ZmMwM2QgMTAwNzU1Ci0t
LSBhL3Rvb2xzL2NvbmZpZ3VyZQorKysgYi90b29scy9jb25maWd1cmUKQEAgLTY2MTYsNyArNjYx
Niw3IEBAIGVsc2UKICAgICAgICAgICAgICAgICAgICAgICAtZSAncy9bXjAtOV0vL2cnYAoKCi0g
IGF4X2NvbXBhcmVfdmVyc2lvbl9CPWBlY2hvICIzLjA5LjMiIHwgc2VkIC1lICdzL1woWzAtOV0q
XCkvWlwxWi9nJyBcCisgIGF4X2NvbXBhcmVfdmVyc2lvbl9CPWBlY2hvICI0LjAyLjAiIHwgc2Vk
IC1lICdzL1woWzAtOV0qXCkvWlwxWi9nJyBcCiAgICAgICAgICAgICAgICAgICAgICAgLWUgJ3Mv
WlwoWzAtOV1cKVovWjBcMVovZycgXAogICAgICAgICAgICAgICAgICAgICAgIC1lICdzL1pcKFsw
LTldWzAtOV1cKVovWjBcMVovZycgXAogICAgICAgICAgICAgICAgICAgICAgIC1lICdzL1pcKFsw
LTldWzAtOV1bMC05XVwpWi9aMFwxWi9nJyBcCmRpZmYgLS1naXQgYS90b29scy9jb25maWd1cmUu
YWMgYi90b29scy9jb25maWd1cmUuYWMKaW5kZXggZDFhM2E3OGQ4Ny4uMDZlYjE2ZGI0ZiAxMDA2
NDQKLS0tIGEvdG9vbHMvY29uZmlndXJlLmFjCisrKyBiL3Rvb2xzL2NvbmZpZ3VyZS5hYwpAQCAt
Mjk0LDcgKzI5NCw3IEBAIEFTX0lGKFt0ZXN0ICJ4JG9jYW1sdG9vbHMiID0gInh5Il0sIFsKICAg
ICAgICAgICAgICBBQ19NU0dfRVJST1IoW09jYW1sIHRvb2xzIGVuYWJsZWQsIGJ1dCBtaXNzaW5n
IG9jYW1sb3B0IG9yIG9jYW1sZmluZF0pXSkKICAgICAgICAgIG9jYW1sdG9vbHM9Im4iCiAgICAg
IF0sIFsKLSAgICAgICAgQVhfQ09NUEFSRV9WRVJTSU9OKFskT0NBTUxWRVJTSU9OXSwgW2x0XSwg
WzMuMDkuM10sIFsKKyAgICAgICAgQVhfQ09NUEFSRV9WRVJTSU9OKFskT0NBTUxWRVJTSU9OXSwg
W2x0XSwgWzQuMDIuMF0sIFsKICAgICAgICAgICAgICBBU19JRihbdGVzdCAieCRlbmFibGVfb2Nh
bWx0b29scyIgPSAieHllcyJdLCBbCiAgICAgICAgICAgICAgICAgIEFDX01TR19FUlJPUihbWW91
ciB2ZXJzaW9uIG9mIE9DYW1sOiAkT0NBTUxWRVJTSU9OIGlzIG5vdCBzdXBwb3J0ZWRdKV0pCiAg
ICAgICAgICAgICAgb2NhbWx0b29scz0ibiIKLS0gCjIuMTQuMwoKX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4t
ZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9t
YWlsbWFuL2xpc3RpbmZvL3hlbi1kZXZlbA==