[Xen-API] [PATCH 06 of 17] in stdext/Opt: Renamed cat_options to

To:	xen-api@xxxxxxxxxxxxxxxxxxx
Subject:	[Xen-API] [PATCH 06 of 17] in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming either module
From:	Matthias Goergens <matthias.goergens@xxxxxxxxxx>
Date:	Tue, 18 May 2010 15:11:05 +0100
Delivery-date:	Tue, 18 May 2010 07:15:09 -0700
Envelope-to:	www-data@xxxxxxxxxxxxxxxxxxx
In-reply-to:	<patchbomb.1274191859@matthias-desktop>
List-help:	<mailto:xen-api-request@lists.xensource.com?subject=help>
List-id:	Discussion of API issues surrounding Xen <xen-api.lists.xensource.com>
List-post:	<mailto:xen-api@lists.xensource.com>
List-subscribe:	<http://lists.xensource.com/mailman/listinfo/xen-api>, <mailto:xen-api-request@lists.xensource.com?subject=subscribe>
List-unsubscribe:	<http://lists.xensource.com/mailman/listinfo/xen-api>, <mailto:xen-api-request@lists.xensource.com?subject=unsubscribe>
References:	<patchbomb.1274191859@matthias-desktop>
Sender:	xen-api-bounces@xxxxxxxxxxxxxxxxxxx
User-agent:	Mercurial-patchbomb/1.4.3

Signed-off-by: Matthias Goergens <Matthias.Goergens@xxxxxxxxxx>


 stdext/opt.ml  |  2 +-
 stdext/opt.mli |  2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

sending-foo-xen-api-libs.hg-06.patch
Description: Text Data

_______________________________________________
xen-api mailing list
xen-api@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/mailman/listinfo/xen-api

<Prev in Thread]

Current Thread

[Next in Thread>

Previous by Date:

[Xen-API] [PATCH 07 of 17] stdext/Either: A module for type ('a, 'b) t = Left of 'a | Right of 'b, Matthias Goergens

Next by Date:

[Xen-API] [PATCH 09 of 17] camldm/camldm.ml: camldm_ls is an analogue to dmsetup ls, Matthias Goergens

Previous by Thread:

[Xen-API] [PATCH 07 of 17] stdext/Either: A module for type ('a, 'b) t = Left of 'a | Right of 'b, Matthias Goergens

Next by Thread:

[Xen-API] [PATCH 09 of 17] camldm/camldm.ml: camldm_ls is an analogue to dmsetup ls, Matthias Goergens

Indexes:

[Date] [Thread] [Top] [All Lists]

WARNING - OLD ARCHIVES

xen-api

[Xen-API] [PATCH 06 of 17] in stdext/Opt: Renamed cat_options to cat_som