Closed sebherbert closed 2 years ago
@velissarious If you like this PR, then please merge it.
@sebherbert @velissarious @xulman Do we have a consensus on how to proceed? Shall I merge this? Are changes needed? Should I close it?
They are working on underlying mechanisms at the moment, that will have to be integrated afterwards, but in the meantime this modification is needed. I believe it can be merged (but I still feel uncomfortable doing it considering I'm not part of the dev team for this plugin).
Thanks, all!
@velissarious @xulman I believe the update site name has changed? I went ahead and proposed the change, I hope I'm not wrong :)