Just pushed a change: Evidently didn't make it through -- nothing in the gawk-diffs moderation queue, nothing in the list archives.
I don't how to set up notifications for git and don't see any info in the sv wiki. Oh, evidently it's something about "cia", judging /root/infra/git.txt, but there's too much/not enough info in there for me to want to try to guess what the right commands are. So I can only hope that someone who does know (Sylvain, Jim?) make it happen. Best, karl
