diff options
author | Dirk Engling <erdgeist@erdgeist.org> | 2024-04-15 17:58:34 +0200 |
---|---|---|
committer | Dirk Engling <erdgeist@erdgeist.org> | 2024-04-15 17:58:34 +0200 |
commit | 62807ad205ea7d4694a69806419ba9d3fbae22bf (patch) | |
tree | 73f13fffc2d960f9b2766ba0e6dea65be49fe12b /Makefile | |
parent | 806a6b99cf140aafa9ac448d76635ae045350246 (diff) |
deflatePending ist not available everywhere. Just treat the (very rare) case of some data being left over like all other reallocatables
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions