Re: [Xen-devel] [PATCH 1/2] ocaml/xb: update xb.mli in accordance with df1e4c6e7f8

2018-02-07 Thread Christian Lindig
> On 7. Feb 2018, at 17:09, Wei Liu wrote: > > Signed-off-by: Wei Liu > --- > tools/ocaml/libs/xb/xb.mli | 4 ++-- > 1 file changed, 2 insertions(+), 2 deletions(-) > > diff --git a/tools/ocaml/libs/xb/xb.mli b/tools/ocaml/libs/xb/xb.mli > index b4d705201f..95d1c6f840 100644 > --- a/tools/ocam

[Xen-devel] [PATCH 1/2] ocaml/xb: update xb.mli in accordance with df1e4c6e7f8

2018-02-07 Thread Wei Liu
Signed-off-by: Wei Liu --- tools/ocaml/libs/xb/xb.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/ocaml/libs/xb/xb.mli b/tools/ocaml/libs/xb/xb.mli index b4d705201f..95d1c6f840 100644 --- a/tools/ocaml/libs/xb/xb.mli +++ b/tools/ocaml/libs/xb/xb.mli @@ -76,10 +76