Skip to content
This repository was archived by the owner on Sep 30, 2025. It is now read-only.

gawk 5 does not allow escaping double quotes#73

Closed
larsoyvind wants to merge 1 commit intopbrisbin:masterfrom
larsoyvind:master
Closed

gawk 5 does not allow escaping double quotes#73
larsoyvind wants to merge 1 commit intopbrisbin:masterfrom
larsoyvind:master

Conversation

@larsoyvind
Copy link

No description provided.

@restyled-io
Copy link

restyled-io bot commented Aug 31, 2019

Hey there-

I'm a bot, here to let you know that some code in this PR might not
match the team's automated styling. I ran the team's auto-reformatting tools on
the files changed in this PR and found some differences. Those differences can
be seen in #74.

Please see that Pull Request's description for more details.

@pbrisbin
Copy link
Owner

pbrisbin commented Sep 3, 2019

Hi there, thanks for this fix! I just merged #70 which also fixes the warning but doesn't use an escape sequence.

Can you describe why the escape sequence might be better? If there's a reason, I'm happy to sort out the conflict and accept this change too.

@pbrisbin pbrisbin added the restyle-ignore Ignore PR in Restyled label Sep 3, 2019
@larsoyvind
Copy link
Author

larsoyvind commented Sep 4, 2019 via email

@pbrisbin
Copy link
Owner

pbrisbin commented Sep 4, 2019

The merged fix is probably better than mine

Ok, thanks anyway!

@pbrisbin pbrisbin closed this Sep 4, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

restyle-ignore Ignore PR in Restyled

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants