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

@pattern on string shapes. #1967

Closed
Tracked by #1401
crisidev opened this issue Nov 9, 2022 · 1 comment
Closed
Tracked by #1401

@pattern on string shapes. #1967

crisidev opened this issue Nov 9, 2022 · 1 comment
Assignees
Milestone

Comments

@crisidev
Copy link
Contributor

crisidev commented Nov 9, 2022

Implement @pattern trait on string shapes.

@jjant jjant changed the title pattern on string shapes. @pattern on string shapes. Nov 16, 2022
@jjant jjant self-assigned this Nov 17, 2022
@jjant
Copy link
Contributor

jjant commented Nov 23, 2022

Main functionality done in #1998. Some follow-up work is needed, see #2026.

@jjant jjant closed this as completed Nov 23, 2022
@spinski spinski added this to the Server GA milestone Nov 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

4 participants