Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Simplified mapping extended #167

Merged

Conversation

delyriand
Copy link
Member

Depends on #163

@delyriand delyriand marked this pull request as draft July 24, 2023 14:31
@delyriand delyriand force-pushed the feature/simplified-mapping-extended branch from 1d288b5 to b74fae3 Compare July 25, 2023 07:49
@delyriand delyriand marked this pull request as ready for review July 25, 2023 07:49
@delyriand delyriand force-pushed the feature/simplified-mapping-extended branch from b74fae3 to cc6f91a Compare July 25, 2023 07:59
@delyriand delyriand force-pushed the feature/simplified-mapping-extended branch from cc6f91a to e661dd1 Compare July 25, 2023 08:06
@maximehuran maximehuran merged commit 17ae28d into monsieurbiz:master Jul 25, 2023
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants