Closed Antonov548 closed 2 months ago
Aviator will automatically update this comment as the status of the PR changes. Comment
/aviator refresh
to force Aviator to re-examine your PR (or learn about other/aviator
commands).
This PR was merged using Aviator.
Thanks!
Thank you!
Closes https://github.com/igraph/rigraph/pull/1333.