Add missing "platform" package to the distribution as well. Reported by Pietro Cerutti.
merge-mark
A better technique for [list {*}blah]. Remove the INST_LIST_EXPANDED opcode (and the complex machinery associated with it) as as it is no longer needed.
merge trunk
merge-mark
A better technique for [list {*}blah]. Remove the INST_LIST_EXPANDED opcode (and the complex machinery associated with it) as as it is no longer needed.
merge-mark