1 Title: Removed /bauen directory from .deb packages
10 Caused by a recent change, the .deb packages inadvertendly contained some
11 build artifacts, resulting in some files being installed below /bauen. The
12 1.5.0 releases p8 and p9 were affected, but not p7 and earlier. This has