NB.102 · Notebook

Last week’s issues: closed by merged PRs

80 issues posted by enyst and smolpaws on October 4–11 are now closed by merged PRs: 64 by those accounts and 16 by others. Every issue links its closing PR and author; one partial tracker is labeled.