Increase consistency at handling domain literals #15

Merged

reinhard-mueller merged 1 commits from master into master

reinhard-mueller commented (Migrated from github.com)

Fixes #12

Fixes #12

karolyi commented (Migrated from github.com)

LGTM. If you squashed the other one and I merged it, this will be next up, and then a release is due.

LGTM. If you squashed the other one and I merged it, this will be next up, and then a release is due.

The pull request has been merged as 0dd9910eb2.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b master master

git pull origin master

Step 2:

Merge the changes and update on Gitea.

git checkout master

git merge --no-ff master

git push origin master

Sign in to join this conversation.

No reviewers

No Label

good first issue

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.