- Update to version 2.139.0 #8

Closed
glaubitz wants to merge 0 commits from (deleted):factory into factory

No commits in common. "factory" and "factory" have entirely different histories.