mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-31 04:35:44 +00:00
John MacFarlane
c3f9e8c122
Previously we assigned a random number (though in a deterministic way). But changes in the random package mean we get different results now on different architectures, even with the same random seed. We don't need random values; so now we just assign a value based on the list number id, which is guaranteed to be unique to the list marker.