[Pkg-ocaml-maint-commits] [SCM] lablgtk-extras packaging branch, master, updated. debian/1.0-1-10-gadd9c10

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 8753b5080f288353ee66e485038e4a0b8a49d664
Merge: ba12dd21a1ea2e1cac51530e978591575efd9d06 ae3d05bd11490d9eb3bd91df5b95f40aa5261388
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Jul 26 07:36:09 2013 +0200

    Merge tag 'upstream/1.3'
    
    Upstream version 1.3


-- 
lablgtk-extras packaging