16 Nov
2022
16 Nov
'22
8:28 p.m.
The arrowcap changes should be split into a separate patch.
Moving the `widen_open_figure` function makes it hard to read the diff. If you must move it, please do that in a separate patch.
814
Age (days ago)
814
Last active (days ago)
0 comments
1 participants
participants (1)
-
Esme Povirk (＠madewokherd)