Re: UI improvements Was: process question.

[Andy Seaborne]

Github issues for feature-scale things.
Ideally with associated pull request.

General discussions, dev@

    Andy

On 29/11/2023 09:18, Marco Neumann wrote:

Bruno,
how do you gather input/ideas for UI improvements?

Best,
Marco