On Tue, 2 Oct 2018, D Margaux wrote:
> This may be an oversight in the rules, since it seems to let technical
> deadline violations be punished but not if the deadline was unmet for long
> enough.
Last time I was referee, I meant to change it so the 14-day deadline
was for the finger-point, no
As of the date of the finger point below, it had already been two weeks
after the time has expired for murphy to name a new judge in 3661. As a
result, arguably any fine for the finger point would be ineffective,
because the deadline had passed 14+ days prior.
Murphy’s obligation to name a new jud
2 matches
Mail list logo
