j
k
j a
j l
FWIW, in general and for future changes, I think it's best to split MRs the other way, as most of the threading discussion happened on this one, in order to keep the comments with the changes for which they are most meaningful.
Back to the thread
Back to the list