From 50f0c856b138bca11445a3e65ecd9c441a31217f Mon Sep 17 00:00:00 2001 From: Andreas Naumann <andreas.naumann@tu-dresden.de> Date: Thu, 23 Sep 2010 10:26:29 +0000 Subject: [PATCH] selection bug when building -- GitLab