Stream: committers
Topic: Does only gg merge at this stage?
Eric Haas (Dec 14 2018 at 15:00):
I made a late late pr fix a profile name error. Does only gg merge these at this stage?
Rob Hausam (Dec 14 2018 at 16:26):
That's what he said earlier.
Grahame Grieve (Dec 14 2018 at 20:13):
yes me only now
Last updated: Apr 12 2022 at 19:14 UTC
