diff options
| author | tv <tv@krebsco.de> | 2022-01-08 03:52:50 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2022-01-09 22:42:22 +0100 |
| commit | d778004a4ab25ac212bf71e2a2f42beed2ea89b7 (patch) | |
| tree | 2dce28c619bab20465224a3aaf0b7a3b167a5899 /src/Blessings | |
| parent | 4ce648a9eeeda9167ee57c2185911e81d45883b6 (diff) | |
Blessings: don't compare during drop and take
This fixes divergence caused when calling drop or take on Append with
infinite left hand side.
Diffstat (limited to 'src/Blessings')
0 files changed, 0 insertions, 0 deletions