Well it's not really a bug, which is why I didn't think of adding it to the bug tracker. It's a request for a (small) additional feature. But I can add it to the bug tracker if you think that is preferable.
I'll see if I can refresh my memory on how PR's work. I haven't used GitHub for years.
I'll see if I can refresh my memory on how PR's work. I haven't used GitHub for years.
Statistics: Posted by Gumboots — Tue Apr 22, 2025 8:43 pm