On Wednesday, 25 September 2019 13:45:01 CEST Mark Linimon wrote:
> FYI.  Since this was a new port, I figured I could fix it quickly without
> having to go through the PR process.

All good. Thanks for taking care of tier-not-one.

[ade]


Reply via email to