Skip to content
Snippets Groups Projects

CHANGELOG tweak.

Passed
Robbert Krebbers created pipeline for commit b40a992e
, finished
For master
12 minutes 5 seconds, queued for 194 seconds