On Aug 7, 2013 4:23 AM, "Alex Valavanis" <valavanisalex@...400...> wrote:
> Can I, therefore, suggest that we always run a "make check" on
> branches before merging them to avoid this happening again.

That just sounds like good practice to me. I'm in favor.

Cheers'
Josh