Re: Developers, a small request

Thu, 14 Mar 2019 05:43:19 -0700 


On 13.03.19 21:09, Richard Levitte wrote:


So yeah, we do need to remember that PRs go through the CIs before
merging.



Agreed, and thanks Rich for the polite reminder :-)

Matthias























					Reply via email to