Commit 2aa8c8e8829c255a20030cc8dd1e02e930d63698

Stefano Lattarini 2011-06-01T19:37:18

Merge branch 'maint' * maint: remake: behave better with non-GNU make in subdirectories