Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Allow strings to be shared by Lambda.make_key (commit: be62523) (details)
Commit be625238bb2703739243931d9a86a823773336f5 by stedolan
Allow strings to be shared by Lambda.make_key

Strings have been immutable for a while now
 (commit: be62523)
The file was modifiedlambda/lambda.ml (diff)
The file was modified.depend (diff)