Nick Gravgaard (Dec 03 2023 at 16:04): Nick Gravgaard (Dec 03 2023 at 16:04):Hi there, could someone merge https://github.com/roc-lang/roc/pull/6165 ?
I noticed my email address and github username pop up in a few places, but I changed these some months ago, so I'd like to update them. Thanks!
Nick Gravgaard (Dec 03 2023 at 17:54):sorry, I didn't sign that commit. I've just signed it and force pushed
Last updated: Jul 06 2025 at 12:14 UTC