On 2020-10-19 9:58 a.m., Aktemur, Tankut Baris wrote: > I checked it and yes, it's applicable. I found other similar uses (like the '-gid' > flag for 'info threads'). But let me send this as a separate, follow-up patch, to > make the review process easier. OK with that? Yes, sure. Simon