tree 746d631c1fc28ac684dc8232122c2231f370f851
parent 87bfb50304ddf64573144dc6a901d37d007ae8ea
author Philipp Wollermann <philwo@google.com> 1521649494 +0100
committer Philipp Wollermann <philwo@google.com> 1521649494 +0100

create_images.py: Use short Git hashs in the image name