Bug#793922: polymake #846 Patch for build reprodicibility - updated

[Benjamin Lorenz]

On 20/01/16 15:24, David Bremner wrote:
> Is the updated version (or equivalent) in 3.0? Since I let it slide this
> long, I was thinking of just uploading 3.0 instead.

Yes, the updated patch is included in version 3.0.

Best,
Benjamin