From bba12d05c45a2ed7fb908c1fe3aaa43e76bc76c1 Mon Sep 17 00:00:00 2001 From: Jan David Mol <mol@astron.nl> Date: Fri, 2 Nov 2012 12:10:42 +0000 Subject: [PATCH] Task #3566: Merged trunk into branch -- GitLab