diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-08-23 16:00:14 +0200 |
|---|---|---|
| committer | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2022-08-23 16:00:14 +0200 |
| commit | 8c1dfabb6beedbc4d93bb7030ac724446c82b93c (patch) | |
| tree | d4b3ab4930f1b0d95bf759e5ea4d57e10f2e90ed /src | |
| parent | 7fe36de069520a0567d02b351cfd0514d83aa0c6 (diff) | |
Fix `append` for size_of(E) == 0
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions