Completed
Push — PR/feature/various-minor-fixes ( de881f )
by Juliette
02:23
created

Changes

7 issues (7 informational) were introduced.
3 issues were fixed.
7.76
▶   ± 0
Head
jrfnl  
Various small fixes: minor strict checking improvements
6 more commits
Base
Wim Godden  
Merge pull request #441 from MarkMaldaba/issue_440