Skip to content

Remove duplicate extension#777

Merged
lorenzo merged 1 commit intohadolint:masterfrom
Lunkentuss:remove-duplicate-extension
Feb 26, 2022
Merged

Remove duplicate extension#777
lorenzo merged 1 commit intohadolint:masterfrom
Lunkentuss:remove-duplicate-extension

Conversation

@Lunkentuss
Copy link
Copy Markdown
Contributor

What I did

Removed the second redundant PatternSynonyms default extension in package.yaml.

@Lunkentuss Lunkentuss force-pushed the remove-duplicate-extension branch from abf6117 to 0a2727a Compare February 23, 2022 22:21
@lorenzo lorenzo merged commit 6ae9f3d into hadolint:master Feb 26, 2022
@lorenzo
Copy link
Copy Markdown
Member

lorenzo commented Feb 26, 2022

thanks!

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