#53 (Nov 13, 2019, 8:17:47 AM)

1. Fixing goal programming issues. (commit: f60ce4b) (details / githubweb)
2. Add robustify_mono exception, and methods diffs. (commit: 29a8d4c) (details / githubweb)

GitHub pull request #49 of commit 29a8d4c27b7e5e71950a0d2313b00a3f90daf3fc, no merge conflicts.