On Wed, Jan 10, 2024 at 1:05 PM Aleksander Alekseev <aleksan...@timescale.com> wrote: > > Hi, > > > least lists what's expected -- I'm not sure if this is the way to go, > > or if we should somehow list the individual tools that are failing > > here? > > Personally I think the patch is OK.
Thanks. I've pushed this one for now, we can always adjust further later if needed. -- Magnus Hagander Me: https://www.hagander.net/ Work: https://www.redpill-linpro.com/