Kevjonasw: Can we keep 403..408 for the MIX split please?
jonaswdidn’t you want to reserve 404 for something else?
KevNo, I wanted it for one of the MIX splits - the anonymous one :)
jonaswhah, okay
jonaswyeah, I’ll keep that in mind
KevTa.
jonaswany ETA for the MIX split?
KevHappening right now.
KevJust not sure it'll be done for next Wed, so there's potentially the possibility of Council approving something else before it's submitted.
jonaswokay
KevI 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.
jonaswwell, the latter is trivial with sed
jonaswbut sure, consider that block allocated (cc @ SamWhited)✎
KevEasier not to have to, though. Thanks :)
jonaswbut sure, consider that block allocated (cc @ SamWhited: XEP-0403--XEP-0408 reserved for MIX split) ✏