Revision 09a1c20ebfbfef1a76501f980eda0faa7eaadd43

Committed on 02/10/2015 5:57 am by AndrĂ© R. <[email protected]> [GitHub Diff]

Use TOOL as part of status flag

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