Sorry for spreading misinformation, it seems that I got exited too soon. Still, I find somewhat unlikely that all the others member will vote F ahead of D.
Are you referring to the "Technical Committee makes decisions only as last resort." paragraph of the Debian constitution? It's a bit cryptic for a non-native like me, so I'm not sure that I'm reading it right.
No, this is in the voting section A. It reads "Any (non-default) option which does not defeat the default option by its required majority ratio is dropped from consideration."
In this case F (further discussion) is the default option, and this stage in the voting process precedes the casting vote.
I too think it's unlikely that both Colin and Andi will block the decision, but we've known it's likely that systemd will win for some time now. It's still not yet official.
Are you referring to the "Technical Committee makes decisions only as last resort." paragraph of the Debian constitution? It's a bit cryptic for a non-native like me, so I'm not sure that I'm reading it right.