Commit 4bc67efd7408faaab714478604a0543e568b7564

Vicent Martí 2013-05-24T05:36:23

Merge pull request #1605 from ethomson/replace_reuc_fix Cherry picking REUC fixes