Summary of changes: e1ca5df... Update to 3.1.1 (*) 2a78f61... Multilib fix: Seed.js now searches both lib64 and lib direc (*) c38f664... add paramspec patch (*) (*) This commit already existed in another branch; no separate mail sent