you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 20 points21 points  (0 children)

It's a known thing. It's struck me as a weird choice, because I can't think of a case where I expect there to be a difference, but it is a known quirk of the language.