We discussed this issue this morning. Since we are quite close to the release date (v5.6 should happen next week), we came to the conclusion that we'd like to merge these changes initially commented out, to minimize the risk that they could break something for users on older operating systems. For the following release, once we have enough time to test everything, then we can uncomment and leave the new settings enabled by default. Would you like to make a pull request with the changes (so we properly attribute credit to you)? Thank you!
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
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