Skip to content

Fix term mapping of @reverse.#370

Merged
davidlehn merged 1 commit intomasterfrom
reverse-handling
Feb 27, 2020
Merged

Fix term mapping of `@reverse`.#370
davidlehn merged 1 commit intomasterfrom
reverse-handling

Commits

Commits on Feb 27, 2020