-
Stefan Marr authored
Before, we downloaded always the latest head, I think. Not very useful for performance tacking. Signed-off-by: Stefan Marr <git@stefan-marr.de>
b8e24c8e
Before, we downloaded always the latest head, I think. Not very useful for performance tacking.
Signed-off-by: Stefan Marr <git@stefan-marr.de>