Merge remote-tracking branch 'public/feature15053'

2024-12-06 19:41:15 +01:00 · 2015-03-18 14:27:00 -04:00
parent 9bdce9d4e5 21fd94ddb8
commit 54d6e5e71e
22 changed files with 98 additions and 80 deletions
@@ -0,0 +1,4 @@
+  o Minor bugfixes (build):
+    - Improve out-of-tree builds by making non-standard rules work and clean up
+      additional files and directories. Fixes bug 15053; bugfix on
+      0.2.7.0-alpha.