Bug#777403: leave: please make the build reproducible

[Josip Rodin]

On Sat, Jul 11, 2020 at 07:32:22AM -0400, Boyuan Yang wrote:
> It has been another 3 years since last reply; is there any possibility
> to push this forward?

Oh, sure, I just forgot about it.

-- 
Josip Rodin