golosio/xrmc — pull request #6 by tschoonj (2013-04-03 10:30:16+00:00)
Title: Fixes configure problem/XMI-MSIM plugin fixes

Hey Bruno,

We should probably talk before you merge this one in.

Best,

Tom