Dec. 6, 2021
9:19 p.m.
On 12/6/21 13:09, Paul Eggert via tz wrote:
I will use GitHub's "Temporary interaction limits" to prevent all pull requests (and a bunch of other things, none of which we need) for the next six months.
While doing that I found one pending pull request from Stephen (attached) which I installed. The idea is that future changes can just be emailed to this list.