Paul Eggert Wed, 10 Oct 2018 19:15:53 -0700
Assaf Gordon wrote:
Can this be closed as out-dated?
Yes, that's fine. Closing.