Dear OpenMath-Community, there seem to be only minimal activities in regard to investigating issues and merging open PRs within the CDs repository: https://github.com/OpenMath/CDs
Three PRs are open since 2019 and 2018. Is there someone who is responsible for reviewing and merging the PRs? Can I help somehow? Best regards, Ken Wenzel -- Ken Wenzel Fraunhofer-Institut für Werkzeugmaschinen und Umformtechnik IWU, Abteilung Digitalisierung in der Produktion, Reichenhainer Straße 88, 09126 Chemnitz Telefon: +49 371 5397-1369 [email protected]<mailto:[email protected]> http://www.iwu.fraunhofer.de/
_______________________________________________ Om mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om
