j
k
j a
j l
On Mar 20, 2016, at 5:38 PM, Tom Ellis wrote:
Oh, so you're saying it used to work by accident?
Yes, exactly. And it was fixed by accident, too. But the new behavior seems to me to be more consistent with the documentation than the old behavior.
Back to the thread
Back to the list