j
k
j a
j l
It probably will, thanks. Any chance you can file it as a bug (level "bug" or "feature"), whatever you think is appropriate, and assign it to me, user hypatia? The bug tracker is at [1].
Done.
Back to the thread
Back to the list