#211 (Jun 24, 2020, 5:49:04 PM)

Started by GitHub push by nojb

Started by GitHub push by gasche

• origin/trunk

1. Added String prefix and suffix tests. (commit: e00d7f3) (details / githubweb)
2. Use new String.is_suffix function. (commit: ddb1b5e) (details / githubweb)
3. dune: temporarily remove use of new primitive before building (commit: 7bf55c6) (details / githubweb)
4. dune: depend on new runtime files (commit: 8213916) (details / githubweb)