Sei Lisa da05d1e1c2 Add Pop to the list of idents that GetNextShortest can't generate ...

It's unlikely to hit this one (requires more than 10,000 identifiers to trigger) but it's a bug nevertheless.

While touching the file, try to explain the situation better in the first comment.

2021-01-05 23:27:49 +01:00

9.7 KiB

Raw Blame History

View Raw