ubuntu/+source/menhir:applied/ubuntu/cosmic-devel

Last commit made on 2018-07-20
Get this branch:
git clone -b applied/ubuntu/cosmic-devel 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:
applied/ubuntu/cosmic-devel
Repository:
lp:ubuntu/+source/menhir

Recent commits

53e92fd... by Ralf Treinen <email address hidden>

20180530-2 (patches applied)

Imported using git-ubuntu import.

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

20180530-2 (patches unapplied)

Imported using git-ubuntu import.

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

20180530-1 (patches applied)

Imported using git-ubuntu import.

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

20180530-1 (patches unapplied)

Imported using git-ubuntu import.

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

20171222-1 (patches applied)

Imported using git-ubuntu import.

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

20171222-1 (patches unapplied)

Imported using git-ubuntu import.

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

20171206-1 (patches applied)

Imported using git-ubuntu import.

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

20171206-1 (patches unapplied)

Imported using git-ubuntu import.

470b005... by Ralf Treinen <email address hidden>

20171013-1 (patches applied)

Imported using git-ubuntu import.

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

20171013-1 (patches unapplied)

Imported using git-ubuntu import.