#512 Grammar corrections followup to #510

Merged
marek-lach merged 8 commits from Frontend-grammar-corrections into master 1 year ago
marek-lach commented 1 year ago (Migrated from github.com)

A very small commit, but let’s do all the string corrections while I am already at it :-)

Wraps up #510

A very small commit, but let's do all the string corrections while I am already at it :-) Wraps up #510
elegaanz (Migrated from github.com) approved these changes 1 year ago
elegaanz (Migrated from github.com) left a comment

👍

Reviewers

Plume_migration_agent approved these changes 1 year ago
The pull request has been merged as 723d2c4600.
Sign in to join this conversation.
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Loading…
There is no content yet.