From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ian Campbell <ian.campbell@citrix.com>
Subject: Re: [PATCH] tools/ocaml: remove uint32 use added by
	674ad2b
Date: Thu, 19 Feb 2015 17:19:31 +0000
Message-ID: <1424366371.30924.143.camel@citrix.com>
References: <alpine.DEB.2.00.1502081706580.14151@procyon.dur.ac.uk>
	<5C32A43D-669C-4BE4-9C5F-82556307E466@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <5C32A43D-669C-4BE4-9C5F-82556307E466@citrix.com>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: Dave Scott <Dave.Scott@citrix.com>
Cc: Ian Jackson <Ian.Jackson@citrix.com>, "xen-devel@lists.xen.org" <xen-devel@lists.xen.org>, Stefano Stabellini <Stefano.Stabellini@citrix.com>, Wei Liu <wei.liu2@citrix.com>, M A Young <m.a.young@durham.ac.uk>
List-Id: xen-devel@lists.xenproject.org

T24gU3VuLCAyMDE1LTAyLTA4IGF0IDE4OjU1ICswMDAwLCBEYXZlIFNjb3R0IHdyb3RlOgo+IAo+
ID4gT24gOCBGZWIgMjAxNSwgYXQgMTc6MTEsIE0gQSBZb3VuZyA8bS5hLnlvdW5nQGR1cmhhbS5h
Yy51az4gd3JvdGU6Cj4gPiAKPiA+IEZyb20gNzNiYWI5Y2IxY2I5NWYzNTA4MGZhZGFmMTE5M2Ni
ZTQ1MzI3YTg5YyBNb24gU2VwIDE3IDAwOjAwOjAwIDIwMDEKPiA+IEZyb206IE1pY2hhZWwgWW91
bmcgPG0uYS55b3VuZ0BkdXJoYW0uYWMudWs+Cj4gPiBEYXRlOiBTdW4sIDggRmViIDIwMTUgMTU6
NTQ6MjMgKzAwMDAKPiA+IFN1YmplY3Q6IFtQQVRDSF0gdG9vbHMvb2NhbWw6IHJlbW92ZSB1aW50
MzIgdXNlIGFkZGVkIGJ5IDY3NGFkMmIKPiA+IAo+ID4gSW4gNjc0YWQyYiAoeGVuc3RvcmU6IGV4
dGVuZCB0aGUgeGVuc3RvcmUgcmluZyB3aXRoIGEgJ2Nsb3NpbmcnIHNpZ25hbCkKPiA+IHR3byB1
c2VzIG9mIHVpbnQzMiBhcmUgYWRkZWQgdG8gdG9vbHMvb2NhbWwvbGlicy94Yi94c19yaW5nX3N0
dWJzLmMgLgo+ID4gQXMgb2Ygb2NhbWwgNC4wMy4wK2RldiB0aGUgdWludDMyIHR5cGUgaXMgbm8g
bG9uZ2VyIHN1cHBvcnRlZC4gVGhpcyBwYXRjaAo+ID4gcmVwbGFjZXMgdGhlIHVzZXMgb2YgdWlu
dDMyIHdpdGggdWludDMyX3QgLgo+IAo+IE9vcHMsIG15IGZhdWx0Lgo+IAo+IFRoaXMgbG9va3Mg
Z29vZCB0byBtZSDigJQKPiAKPiBBY2tlZC1ieTogRGF2aWQgU2NvdHQgPGRhdmUuc2NvdHRAY2l0
cml4LmNvbT4KCkFwcGxpZWQsIHRoYW5rcy4KCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlz
dHMueGVuLm9yZwpodHRwOi8vbGlzdHMueGVuLm9yZy94ZW4tZGV2ZWwK