Clone
Jendrik Johannes
committed
on 20 Jun 17
Revert 'Merge pull request #2172'
To be replaced by PR #2327
master + 469 more