jonasw: Can we keep 403..408 for the MIX split please?
jonasw
didn’t you want to reserve 404 for something else?
Kev
No, I wanted it for one of the MIX splits - the anonymous one :)
jonasw
hah, okay
jonasw
yeah, I’ll keep that in mind
Kev
Ta.
jonasw
any ETA for the MIX split?
Kev
Happening right now.
Kev
Just not sure it'll be done for next Wed, so there's potentially the possibility of Council approving something else before it's submitted.
jonasw
okay
Kev
I suspect it'll be done by then, actually, but it'd be a nuisance to go through the split putting everything in as 403-408 and having to change to 404-409.
jonasw
well, the latter is trivial with sed
jonasw
but sure, consider that block allocated (cc @ SamWhited)✎
Kev
Easier not to have to, though. Thanks :)
jonasw
but sure, consider that block allocated (cc @ SamWhited: XEP-0403--XEP-0408 reserved for MIX split) ✏