# HG changeset patch # User heinrichsweikamp # Date 1552654558 0 # Node ID ddc21166d25b46f487fbe36d28d6dd5bd66f90ed # Parent 1bb24fd3fc9251f397ce51261a9da9876e42e2cd# Parent 485c5135cf7f3e7ff692169bfe8ae5437aa908be Merged in janlmulder/ostc4/cleanup-2 (pull request #5) Trivial cleanup