You are right, we never pushed 4.10, so "old/ubuntu" in fact is at branch "ubuntu/disco-4.6"
« Back to merge proposal
You are right, we never pushed 4.10, so "old/ubuntu" in fact is at branch "ubuntu/disco-4.6"