diff options
| author | jvoisin | 2023-07-18 23:07:05 +0200 |
|---|---|---|
| committer | jvoisin | 2023-07-18 23:07:05 +0200 |
| commit | 9aa4490263ead62dc545cf0e8b83e0ef77eb7a6e (patch) | |
| tree | dde291ce98e99e76bc9e085c35311f2942cac0c8 /.github | |
| parent | 8b6129312db7b2405f883c4080b835c69a855627 (diff) | |
Make use of the alloc_size attribute
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions