Commit ee85c5e898e10f72841c918d9f453a6526ef7e2e

Stefan Sperling 2020-02-29T11:13:12

map 'tog path' to 'tog log path' if possible; requested by mpi@