`join' collapses (Some (Some a)) down to (Some a), and gives Nothing otherwise. Signed-off-by: Matthias Görgens <matthias.goergens@xxxxxxxxxx> stdext/opt.ml | 5 +++++ stdext/opt.mli | 1 + 2 files changed, 6 insertions(+), 0 deletions(-)
Attachment:
xen-api-libs.hg.patch
Description: Text Data
_______________________________________________ xen-api mailing list xen-api@xxxxxxxxxxxxxxxxxxx http://lists.xensource.com/mailman/listinfo/xen-api