Comment Comment by gus_massa URL?Is it a hard fork or it was a PR that was merged? parent gus_massa 17 days ago
Is it a hard fork or it was a PR that was merged?