On 15 Oct 2023, at 21:01, Greg Thain via HTCondor-users <htcondor-users@xxxxxxxxxxx> wrote:Thanks for pinging us on this. We've found the problem and pushed a fix to HTCondor. Sorry for the headaches.