The following commit has been merged in the master branch:
commit 723497586dd0043b4f6bd3cab591ab7eea1c0ee5
Merge: 413946472112afcce47ed7296b347bdbf470cf47 
76585d56270c51649a121e8dcd0cebedcf9de43f
Author: Ralf Treinen <trei...@free.fr>
Date:   Tue Feb 7 19:22:22 2012 +0100

    Merge commit 'upstream/2.9.13'


-- 
dose3 packaging

_______________________________________________
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

Reply via email to