It must have been just a hiccup in the CI, I had a look but couldn't find the problem nor reproduce it. I will go ahead and merge it. (BTW we have to update the CI script so we can extract the coredump or at least a stack trace.) -- Reply to this email directly or view it on GitHub: https://github.com/xrootd/xrootd/pull/1798#issuecomment-1274569147 You are receiving this because you are subscribed to this thread. Message ID: <[log in to unmask]> ######################################################################## Use REPLY-ALL to reply to list To unsubscribe from the XROOTD-DEV list, click the following link: https://listserv.slac.stanford.edu/cgi-bin/wa?SUBED1=XROOTD-DEV&A=1