Closed bsipocz closed 2 months ago
This should fix some CI failures in the devtest job.
Btw, only one of the 3 affected files caused a test failure which suggests some missing coverage (but fixing that points beyond the scope of this PR)
This should fix some CI failures in the devtest job.