[Pkg-ocaml-maint-commits] [SCM] biniou packaging branch, master, updated. debian/1.0.6-1-8-gcdf16d4

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 9048871507bd0ee411e9cb3190b5b76a3d436b8e
Merge: dc3a97202521cd3529deafd82397e6133cadbdcb a4f10838f0d7b2b7adc73c739cb1d923f6104fa1
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 11 11:30:03 2013 +0200

    Merge tag 'upstream/1.0.8'
    
    Upstream version 1.0.8


-- 
biniou packaging