@techee I made the change you requested. Let me know if you want the commits squashed again.

Yes, please. Apart from this change there's no more work to do I think and this PR will be ready for merging.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.