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.