ubuntu/+source/menhir:ubuntu/cosmic-proposed

Last commit made on 2018-07-20
Get this branch:
git clone -b ubuntu/cosmic-proposed https://git.launchpad.net/ubuntu/+source/menhir
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
ubuntu/cosmic-proposed
Repository:
lp:ubuntu/+source/menhir

Recent commits

da4d609... by Ralf Treinen <email address hidden>

20180530-2 (patches unapplied)

Imported using git-ubuntu import.

dbf178d... by Ralf Treinen <email address hidden>

20180530-1 (patches unapplied)

Imported using git-ubuntu import.

1a985db... by Ralf Treinen <email address hidden>

20171222-1 (patches unapplied)

Imported using git-ubuntu import.

c4e345e... by Ralf Treinen <email address hidden>

20171206-1 (patches unapplied)

Imported using git-ubuntu import.

a9801bc... by Ralf Treinen <email address hidden>

20171013-1 (patches unapplied)

Imported using git-ubuntu import.

bbf86de... by Ralf Treinen <email address hidden>

20170712-1 (patches unapplied)

Imported using git-ubuntu import.

d9e6a6b... by Ralf Treinen <email address hidden>

20170607.dfsg-3 (patches unapplied)

Imported using git-ubuntu import.

6b8a5ba... by Ralf Treinen <email address hidden>

20170607.dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

472c19e... by Ralf Treinen <email address hidden>

20170607.dfsg-1 (patches unapplied)

Imported using git-ubuntu import.

4280e64... by Stéphane Glondu

20160808+dfsg-1 (patches unapplied)

Imported using git-ubuntu import.