On Thu, Dec 17, 2015 at 11:17:10PM +0200, Graham Inggs wrote: > Ah ok. Shall I revert that commit? Please keep it for now, the commit is perfectly fine. This way we see sooner whether the reproducible build needs more fixes. Peter