chiark / gitweb /
Properly deal with MARGIN_SPEED