Completed
Pull Request — master (#264)
by Claus
11:44 queued 08:43
created

Changes

1 issue (minor) was introduced.
8.33
▶   ± 0
Head
Claus Due  
Merge 9ebe2e44c0c6a8f395d2c9dc95de272a05f41b5a into c2ebf95083ea69f70d317c3b65e04dd6ce4e460a
1 more commit
Base
Till Kleisli  
[TASK] Fix typo in annotation (#260)