Am 16.01.19 um 15:40 schrieb Aaron Coburn: > And in terms of process, should I be waiting for someone to merge these PRs? > Or should I push these commits directly to master?
I'll have a look at the PRs - I like reviewing ;-) Thanks for your contribution - I'm just not sure whether we can drop hamcrest yet. Phil
