-
Georg Martius authored
Also fix trac ticket #3296. Signed-off-by: Georg Martius <martius@mis.mpg.de> Signed-off-by: Stefano Sabatini <stefasab@gmail.com>
7012a9dc
Also fix trac ticket #3296. Signed-off-by: Georg Martius <martius@mis.mpg.de> Signed-off-by: Stefano Sabatini <stefasab@gmail.com>