Closed schongallam closed 3 months ago
(Also, I wasn't sure if you'd have preferred a squash commit or a regular merge)
(Also, I wasn't sure if you'd have preferred a squash commit or a regular merge)
No preference.
various others' local branches are all in different states of currency and this can give people a chance to reconcile any potentially big breaking changes.
I am overruling your caution and merging this anyway :)
I'll do future updates as direct commits as we discussed. For this one, it seemed better to do this big initial update as a PR, since various others' local branches are all in different states of currency and this can give people a chance to reconcile any potentially big breaking changes.