Add results of job mango/10

2019-03-02 04:28:24 +01:00 · 2019-03-02 04:28:24 +01:00 · 5c91e6a95b
commit 5c91e6a95b
parent 2ab0833e9f
1 changed files with 3 additions and 0 deletions
--- a/mango/10/output
+++ b/mango/10/output
@ -0,0 +1,3 @@
+start of benchmark output of job mango/10
+collected mango
+end of benchmark output of job mango/10