Not really. But if it wouldn’t be used again, it wouldn’t hurt to remove it. You can open an issue and assign a new contributor to it.
2 Likes
Not really. But if it wouldn’t be used again, it wouldn’t hurt to remove it. You can open an issue and assign a new contributor to it.