WCA Documents Motion name
cubewhiz opened this issue · 1 comments
cubewhiz commented
The filename of the WCA Documents Motion is inconsistent with all the others. It is 21.2021.01 (it has a leading 0 in the last portion of the filename). No other motions use the leading 0 in the number after the year.
c-goodyear commented
Fixed in #300