chiark / gitweb /
fairphone-case: call Flip_rhs with an atom when we can (nfc)