Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. Note that record constructor names in second argument of 'guess' are redundant (details)
Commit 5d28fece295820f248604afdccdb3baf617f22ea by Tidefelt Henrik
Note that record constructor names in second argument of 'guess' are redundant
The file was modified RationaleMCP/0031/differences.md (diff)