Skip to content
Snippets Groups Projects

Update CHANGELOG for Qp changes.

Passed
Robbert Krebbers created pipeline for commit d0f75495
, finished
For master
branch
4 jobs 10 minutes 42 seconds, queued for 3 seconds