Closed jadudm closed 3 years ago
Matthew I, embarrassingly, had this GitHub repo set not to notify of me PRs. 🤦🏼♂️ I never would have changed that, so maybe it's a terrible default? IDK. Anyway, some time after you filed this PR I discovered this problem on my own and fixed it, but of course it languished for some amount of time because I didn't tend to your PR! I appreciate your attempted fix, and I'm sorry to have squandered it!
Three states had
#
instead of##
. Made them H2 (##
) for consistency.No other changes.
(For some reason, I created a fork/merge against my own repos...)