# HG changeset patch # User Thomas Arendsen Hein # Date 2007-08-04 07:48:21 # Node ID 0f594cc36aedfecf8941ad81fec730d3307e015f # Parent 2ef14e29e538a9ae1a89221b63d21b6d61331d50 # Parent a49f2a4d5ff73dfde8e4d18a0f59f7f63c801504 merge with crew-stable