On Tuesday, 6 June 2017 at 01:08:45 UTC, Mike Parker wrote:
On Monday, 5 June 2017 at 17:54:05 UTC, Jon Degenhardt wrote:


Very nice post!

Thanks! If it gets half as many page views as yours did, I'll be happy. Yours is the most-viewed post on the blog -- over 1000 views more than #2 (my GC post), and 5,000 more than #3 (A New Import Idiom).

Seems like this crowd-editing stuff really works!

Reply via email to