Compare commits

merge into: jengelh:master

Branches Tags

jengelh:master

jengelh:factory

jamborm:master

jamborm:factory

pool:factory

pool:devel

...

pull from: jamborm:factory

Branches Tags

jamborm:master

jamborm:factory

jengelh:master

jengelh:factory

pool:factory

pool:devel

These branches are equal. There is no need to create a pull request.