Commit 8a7d388a authored by Jan Kiene's avatar Jan Kiene
Browse files

explicitly print out the commit of the used reference

parent 9276078b