#153 (Jun 5, 2020, 9:11:08 PM)

Started by GitHub push by gasche

• origin/trunk

1. Fix #9640: regression introduced by #9623 (commit: a96a610) (details / githubweb)
2. update PR number (commit: 6a47e31) (details / githubweb)
3. add example (commit: b2b9fc3) (details / githubweb)
4. factorize in merge_constraint (commit: 9dc7df7) (details / githubweb)
5. comment for module alias + factorize with_type/with_typesubst (commit: 83ae23d) (details / githubweb)