diff options
| author | Sébastien d'Herbais de Thun <sebastien.d.herbais@gmail.com> | 2023-11-17 10:39:08 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-17 10:39:08 +0100 |
| commit | 5aaaacbf472fc71295d4e4a26615d941a4d92a00 (patch) | |
| tree | e9cfca891564c5d0ea246815c393445695a3372a /tools | |
| parent | 624ff5cb7a80945ac2fed7e2ad266214542183f2 (diff) | |
Allow `elem` synthesized fields to take a default value (#2687)
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions