17 Oct
2022
17 Oct
'22
10:51 p.m.
Em sex., 14 de out. de 2022 às 01:21, Alexandre Torres Porres < porres@gmail.com> escreveu:
I got a couple of simple PRs labeled as bug fixes sitting there
Both above had conflicts that I have now resolved so they're ready to merge. Would you consider merging them now Miller?
Thanks