jitseniesen Merge pull request #35 from spyder-ide/not-maintained
8a262bb May 7, 2023
Merge pull request #35 from spyder-ide/not-maintained
PR: Add notice that plugin is no longer maintained
8a262bb