Since @JULIAN and @badc_23 received equal votes, I would recommend both of their terms expire in February. I would like to hear other opinions on the matter though.
I’ve read through the rules established by TIP-031 and don’t see this particular situation addressed.