Closed a9raag closed 1 year ago
Merging #487 (fd747f3) into dev (42ac9b9) will increase coverage by
0.01%
. The diff coverage is100.00%
.
/lgtm /approve
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: a9raag, SimFG
The full list of commands accepted by this bot can be found here.
The pull request process is described here
Bug fix for the issue