On Tue, Oct 13, 2026 at 3:42 PM Uroš Bojanić <[email protected]> wrote:
> Hi Jacek, > > Thank you for raising this! I see that SPARK-60192 has already landed via > #59405, so that part's covered. > Ack That said, I'm fine either way, but I would prefer to promote to a > component only in case it grows into its own module, or a considerably > larger effort. > So be it. Best Jacek
