# HG changeset patch
# User Jan Mulder <jlmulder@xs4all.nl>
# Date 1552073196 0
# Node ID eb2579416150489032906cafd1fab9a41982279c
# Parent  9c77cfe8c2b20f1e9aca5b09872331775a296243
Close branch linux-build.