# HG changeset patch
# User Ivo Smits <Ivo@UCIS.nl>
# Date 1287522007 -7200
# Node ID 7e0bd7fa09b1225517e16923ff382c48056370b5
# Parent  75f940b7e67d9fc8ed50150dc9d18b6931344c88# Parent  12af06c2a8225cb227b77513b182ed84f3b7cc48
Merge branch 'master' of git://git1.somerandomnick.ano