Closed karlkfi closed 5 months ago
Correct. Thats what this PR fixes.
/lgtm /approve
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: karlkfi, koba1t
The full list of commands accepted by this bot can be found here.
The pull request process is described here
I think this
make
command was broken.