On Wed, 2026-05-20 at 15:09 +0000, Gunter Woytowitz wrote: > will this change be available as an update in the ubuntu resolute > repos ?
I have no way of knowing the answer to that: it's up to the Ubuntu maintenance team. The GNU project is not involved at all. Cheers! -- Paul D. Smith <[email protected]> Find some GNU Make tips at: https://www.gnu.org http://make.mad-scientist.net "Please remain calm...I may be mad, but I am a professional." --Mad Scientist
