commit 6145d247ba33236768a14e7544bc15fa45519780 Merge: 799051a 221e7aa 9eb55bb Author: Gianluca Sforna <giallu at gmail.com> Date: Tue Sep 28 09:54:29 2010 +0200 Initial pseudo merge for dist-git setup ---