This is an automated email from the git hooks/post-receive script.
mehdi pushed a change to branch master
in repository coinst.
from c6ff300 Release to unstable
new 5517e47 Imported Upstream version 1.9.3
new 9af2f4c Merge tag 'upstream/1.9.3'
new 4ea63fe New upstream release
new d1d6f5f Release to unstable
The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
CHANGES | 6 ++++++
Makefile | 2 +-
debian/changelog | 7 +++++++
.../0001-Fix-a-space-tab-issue-in-Makefile.patch | 21 -------------------
debian/patches/series | 1 -
rpm_lib.ml | 10 ++++-----
transition.ml | 24 ++++++++++++----------
util.ml | 4 ----
util.mli | 2 --
viewer/Makefile | 2 +-
10 files changed, 33 insertions(+), 46 deletions(-)
delete mode 100644 debian/patches/0001-Fix-a-space-tab-issue-in-Makefile.patch
delete mode 100644 debian/patches/series
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coinst.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
