Work around bug that was breaking q.empty()#1634

Merged

relud merged 1 commit intomasterfrom resume-queue

Apr 5, 2021

+13-3

Commits on Apr 5, 2021

Work around bug that was breaking q.empty()
relud
committed