
21 Jul
2020
21 Jul
'20
3:07 p.m.
On July 21, 2020 1:22:52 PM EDT, chessai
Ben,
I am behind on some details, but if it is blocked on text, is there some way I can help?
I think we are all clear here; the text branch was merged and I have now merged !3358 to master. Cheers, - Ben -- Sent from my Android device with K-9 Mail. Please excuse my brevity.