Completed
Pull Request — master (#263)
by Claus
08:53 queued 05:32
created

Changes

1 new patch (Doc Comments) is available.
8.33
▶   ± 0
Head
Claus Due  
Merge 1a0cc621e00a1db468e6ddbb53084db3bda43937 into c2ebf95083ea69f70d317c3b65e04dd6ce4e460a
1 more commit
Base
Till Kleisli  
[TASK] Fix typo in annotation (#260)