On 7.8.2013 20:41, Emmanuel Bourg wrote:
If you are confident there is no side effect on CDBS builds then go ahead an commit.
Yes, I'm sure; commited the change. Thanks, Jakub