#219 (Jun 25, 2020, 6:26:04 PM)

Started by GitHub push by Octachron

• origin/trunk

1. Add another test for usage warnings (commit: 1c03659) (details / githubweb)
2. Fix missing unused variables warning with functor application (commit: b0e1540) (details / githubweb)
3. Fix unused functor argument warning in toplevel (commit: 62e286a) (details / githubweb)
4. Make the `mark` parameters in `Includemod` non-optional (commit: bc8c0d2) (details / githubweb)
5. Add Changes entry (commit: fd25722) (details / githubweb)