Skip to content
This repository has been archived by the owner on Oct 23, 2023. It is now read-only.

Extend the list of platform ports #185

Closed
wants to merge 1 commit into from
Closed

Extend the list of platform ports #185

wants to merge 1 commit into from

Conversation

MonicaisHer
Copy link
Contributor

This PR will resolve #70.

@farshidtz
Copy link
Member

farshidtz commented Apr 11, 2023

Please review #164, it may resolve the same issue.

@farshidtz
Copy link
Member

Superseded by #164

@farshidtz farshidtz closed this Apr 12, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Extend the list of platform ports
2 participants