make dist
Add missing "platform" package to the distribution as well. Reported by Pietro Cerutti.
merge-mark
merge-mark
merge trunk