Revision 09a1c20ebfbfef1a76501f980eda0faa7eaadd43

Committed on 02/10/2015 5:57 am by André R. <andre.romcke@gmail.com> [GitHub Diff]

Use TOOL as part of status flag

To make sure repos with several checks get several statuses with correct passed/failed status.