Skip to content

Add plugin property to Android scanner#849

Merged
schlichtig merged 1 commit intodevelopfrom
fix/missing-property
May 2, 2025
Merged

Add plugin property to Android scanner#849
schlichtig merged 1 commit intodevelopfrom
fix/missing-property

Conversation

@smeyer198
Copy link
Contributor

The Android scanner is missing a plugin property that causes xtext to crash

@schlichtig schlichtig enabled auto-merge May 2, 2025 11:47
@schlichtig schlichtig added this pull request to the merge queue May 2, 2025
Merged via the queue into develop with commit c6f9f9f May 2, 2025
7 checks passed
@schlichtig schlichtig deleted the fix/missing-property branch May 2, 2025 12:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants