Source: colobot Version: 0.1.9-3 User: [email protected] Usertags: randomness
The `--serial "${FILENAME}"` introduced by oggenc-reproducibly.patch
does not have the desired effect, because since "${FILENAME}" does
not expand to a number, oggenc still generates a random serial number.
Perhaps ${FILENAEME} can be hashed into an integer somehow.
