Skip to content

Add support for a trailing comment without a newline#2309

Merged
mergify[bot] merged 2 commits intomasterfrom
gabriel/trailing_line_comment
Sep 27, 2021
Merged

Add support for a trailing comment without a newline#2309
mergify[bot] merged 2 commits intomasterfrom
gabriel/trailing_line_comment

Conversation

@Gabriella439
Copy link
Collaborator

… as standardized in dhall-lang/dhall-lang#1226

@mergify mergify bot merged commit 9f0dd67 into master Sep 27, 2021
@mergify mergify bot deleted the gabriel/trailing_line_comment branch September 27, 2021 23:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants