Closed krlmlr closed 6 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.
Forgot to remove the "mergequeue" label 🤦 ...
Closes #1258.
@igraph/core-team @igraph/developers: When this is merged, your GH notifications might get flooded. Apologies, happy to arrange a time when it's good to merge.