Commit bf0668dd8c753e49753724e72e408bf8a568c700

Stefan Sperling 2019-06-26T09:44:51

tog log: remove 'r' key-binding; we might want to re-use it later