Cherry-pick non-specific code from pull requests on hold

Issue #657 resolved
Bart Bogaerts created an issue

In a lot of pull-requests on hold, other useful things have been done.

We should cherry-pick these commits...

Comments (1)

  1. Log in to comment