Commit 52bc91be authored by Jan Kiene's avatar Jan Kiene
Browse files

Revert "[revert-me] change CI ref" 

This reverts commit 8b146ef3.
parent db312acf