j
k
j a
j l
In any case, this seems fine. It would be nice if Giovanni's test could be integrated before this gets committed, but adding that as a follow-up is fine too. I do think we want that test.
Back to the thread
Back to the list