5 Dec
2023
5 Dec
'23
4:08 p.m.
On Tue Dec 5 16:08:24 2023 +0000, Matteo Bruni wrote:
I still haven't seen anything showing that this stub would be an improvement to the status quo (see comments from 6 months ago and referenced older discussions). Closing merge request, feel free to reopen if you can address the questions.
Was resyncing with latest git code, some issues cropped up during the merge