[Pkg-ocaml-maint-commits] [SCM] eliom packaging branch, master, updated. debian/3.0.2-1-4-g35a532f

2013-05-10 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 35a532f5e924003d02f9785f7fd60871707ebb34 Author: Stephane Glondu Date: Fri May 10 10:49:27 2013 +0200 New upstream release diff --git a/debian/changelog b/debian/changelog index de20c08..52d1950 100644 --- a/debian/changelog

[Pkg-ocaml-maint-commits] [SCM] eliom packaging branch, master, updated. debian/3.0.2-1-4-g35a532f

2013-05-10 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 3657a42f1db8e0fee698119be42ae85e0380589d Merge: 503c0cd19d32e9a8c299a958a49a3450318b744f b6920bc8da2f17ba9b7ac3c30aca44e68b08 Author: Stephane Glondu Date: Fri May 10 10:49:08 2013 +0200 Merge tag 'upstream/3.0.3'

[Pkg-ocaml-maint-commits] [SCM] eliom packaging branch, master, updated. debian/3.0.2-1-4-g35a532f

2013-05-10 Thread Stephane Glondu
The following commit has been merged in the master branch: commit 503c0cd19d32e9a8c299a958a49a3450318b744f Author: Stephane Glondu Date: Fri May 10 10:48:43 2013 +0200 Update debian/watch diff --git a/debian/watch b/debian/watch index 470e637..8159e37 100644 --- a/debian/watch +++ b/debian