Yes, just for the record, commit 0a5c36b is already in the stable branch (was there first, then cherry-picked into master), and the other commit was only needed on master, as the accidental revert was only committed there.
—
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