On Sunday 09 of March 2014 03:02:19 Michele Calgaro wrote:
> Perhaps at the same time we can clean up the ubuntu folder in the packaging
> repository as described in bug 1937 comment 2. What do you think?

Good idea. Housekeeping done in commit 4538fd67.

-- 
Slavek