@runarorama You couldn't forgive a genuine learner for missing it? Odersky fell for it, though it reinforces his existing misunderstanding.
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@runarorama You couldn't forgive a genuine learner for missing it? Odersky fell for it, though it reinforces his existing misunderstanding.