diff options
| author | Enrico Tassi | 2018-07-26 14:02:17 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-07-26 14:42:45 +0200 |
| commit | dfacbac8dada1bfe9bcb55fcbd97375fe06e245c (patch) | |
| tree | f6e1fa6541394e542d91cb0a48a995aa286d1018 /kernel | |
| parent | f54192a50eaf14852e1462f24e4168aa8a8545fe (diff) | |
restore reduction of coercion to eventually expose a constructor
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions