Compare commits

merge into: glaubitz:factory

Branches Tags

glaubitz:factory

glaubitz:devel

pool:factory

pool:devel

...

pull from: pool:factory

Branches Tags

pool:factory

pool:devel

glaubitz:factory

glaubitz:devel

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