HomePhabricator
Authored by makarius.

Description

merged

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
98ac9a4323a2traytel
merged 
Nov 6
c9c1a64eeb69traytel
corrected typo in lemma name 
Nov 6