On 9/27/21 6:52 AM, William Bader wrote: > although would a distribution with an old gcc (I think > that -std=gnu++17 was added in gcc 9, released May 2019) push anything > but bug fixes for packages? Debian 10 has gcc 8.3.0 -- Valerio