[Pkg-ocaml-maint-commits] [SCM] dose2 packaging branch, master, updated. debian/1.4.1-1-1-gca7c20a

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 8dc18098d6c57663c3571d624d1a8dfa6978cf71
Merge: dcf9e2db20b5dd4260b22e609b6a014725d64069 ef845774848aa4c2adf31f3f5601d2e1f74420ec
Author: Ralf Treinen <rt at free.fr>
Date:   Mon May 18 20:30:18 2009 +0200

    Merge commit 'upstream/1.4.1'
    
    Conflicts:
    	Makefile.in


-- 
dose2 packaging