j
k
j a
j l
You said @ntrel needs to push upstream, but it sounds like it was already diverged, so IMO _he_ doesn't have to do it (inferred "for this PR"), just that ideally "someone" would do it eventually.
Attachments:
Back to the thread
Back to the list