This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository tophide.
commit cf9ad9b018fbd268b5f9c140c06fba115b624070 Author: Stephane Glondu <st...@glondu.net> Date: Tue Jul 18 22:21:59 2017 +0200 New upstream version 1.0.4 --- Makefile | 2 +- tophide.ml | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index a81fd3e..6ba1e7c 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,7 @@ # Copyright 2008 Martin Jambon. All rights reserved. # This file is distributed under the terms stated in file LICENSE. -VERSION = 1.0.3 +VERSION = 1.0.4 export VERSION .PHONY: all install clean diff --git a/tophide.ml b/tophide.ml index f52290b..26b7824 100644 --- a/tophide.ml +++ b/tophide.ml @@ -53,8 +53,9 @@ let filter_sig_item = function | Osig_typext _ | Osig_modtype _ | Osig_module _ + | Osig_ellipsis | Osig_type _ as x -> Some x - | Osig_value (name, _, _) as x -> + | Osig_value {oval_name = name; _} as x -> if name <> "" && name.[0] = '_' then None else Some x -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/tophide.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits