Haha, 6 days between reporting the bug and having a new, nicely consistent switcher in rc-proposed. Thanks!
Haha, 6 days between reporting the bug and having a new, nicely consistent switcher in rc-proposed. Thanks!