diff options
| author | Gaëtan Gilbert | 2020-07-07 11:49:35 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-07-09 14:18:17 +0200 |
| commit | dc16333815d8c542d84abd8bcdd52b7e372b760b (patch) | |
| tree | 32617df0ded9a5fb87fc2d95ff8031858a1d922a /dev/ci | |
| parent | 577ec77f17a872d6bc36073ceeb3cf582fcf01c4 (diff) | |
Recordops: unify struc_typ summary record and libobject entry struc_tuple
This requires updating the parameter count at section end, I felt it
was easier to do with rebuild_function but it could be done in
discharge if needed.
Incidentally fixes #12649.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions