Closed ChitranshVashney closed 1 month ago
Thank you for the PR!
By the way, the CI error is unrelated (temporary issue with one of the JSON-RPC services). I'll merge once this is resolved.