Re: [mpiwg-tools] Question on ticket 377