Dec. 20, 2018
7:08 p.m.
On 12/20/18 6:01 AM, Arthur David Olson wrote:
(Thanks to Nikita S--@singareddynm on Twitter--for the pointer.)
Thanks for the pointer. The proposed attached patch adds it, and also updates some old or now-vanished URLs.