Closed mattock closed 4 years ago
This PR consists of various unrelated changes and can be easily split into smallers PRs. However none of these changes are very invasive as can be seen from the commit list. So possibly this can be reviewed and merged as a whole.
Looks all quite reasonable.
This PR consists of various unrelated changes and can be easily split into smallers PRs. However none of these changes are very invasive as can be seen from the commit list. So possibly this can be reviewed and merged as a whole.