Tinmop was updated to 0.9.9 in commit
ec74eef890d01a82128ffc9d0188a886c710c8e8.
Closing.