Commit 0a7ecc3bd462440a12682553e4b945d0e0e9d25a

Steffen Jaeckel 2017-10-09T14:34:20

add the inverse of mp_s_rmap