-
-
Notifications
You must be signed in to change notification settings - Fork 1.3k
Closed
Labels
Description
When two images with the same image number are uploaded, and then deleted by image number, it's not always the last one that gets deleted.
To reproduce, run the following script several times:
kitty-image-number-nondeterminism.sh.txt
This script uloads two images with the same I, then deletes an image by I, and then creates another placement using the same I.
Currently kitty usually deletes the first image instead of the last one (but the choice seems to be nondeterministic):

Reactions are currently unavailable
