#206 (Jun 24, 2020, 1:30:16 PM)

Started by an SCM change

• origin/trunk

1. Fix #9695: no error when opening an alias to a missing module (commit: 6ccab9b) (details / githubweb)
2. change API for Env.open_signature to clarify errors (commit: 95a8fbf) (details / githubweb)
3. add example without -no-alias-deps (commit: ab83af0) (details / githubweb)
4. Adjust Changes for #9011 (commit: 9be2c01) (details / githubweb)