Commit c0a632a7 authored by Jan Kiene's avatar Jan Kiene
Browse files

Revert "change CI ref" 

This reverts commit 67880da3.
parent 67880da3