[Merge] ~kick-d/ubuntu/+source/moin:ubuntu/devel into ~ubuntu-server-dev/ubuntu/+source/moin:debian/sid

[Robie Basak]

Review: Approve

Looks good, thanks.

Note that the logical tag wasn't present, but it was trivial enough that I constructed it manually. I've written up the full set of tags and branches expected at: https://github.com/basak/ubuntu-git-tools/blob/master/SPECIFICATION - please could you follow these? It will save me (and presumably other reviewers) having to figure out which ref is which.

> ...it appears that the MP is done against ~ubuntu-server-dev/ubuntu/+source/urlgrabber:debian/sid and not ubuntu/devel.

Yeah, there seems to be some problem with the process here. I gather that there are Launchpad OOPS involved. We should probably get a bug filed against Launchpad if this is a continued problem.

In the meantime I've just been pushing to ubuntu/devel anyway, and then marking the MP as Merged manually.
-- 
https://code.launchpad.net/~kick-d/ubuntu/+source/moin/+git/moin/+merge/286379
Your team Ubuntu Server Developers is subscribed to branch ~ubuntu-server-dev/ubuntu/+source/moin:debian/sid.