Skip to content

Fix newline comments#12966

Merged
subhramit merged 1 commit into
mainfrom
cleanup
Apr 18, 2025
Merged

Fix newline comments#12966
subhramit merged 1 commit into
mainfrom
cleanup

Conversation

@subhramit

Copy link
Copy Markdown
Member

Tiny PR fixing newline related comments (extra/missing) in #12747.

Mandatory checks

  • I own the copyright of the code submitted and I license it under the MIT license
  • [/] Change in CHANGELOG.md described in a way that is understandable for the average user (if change is visible to the user)
  • [/] Tests created for changes (if applicable)
  • [/] Manually tested changed features in running JabRef (always required)
  • [/] Screenshots added in PR description (if change is visible to the user)
  • Checked developer's documentation: Is the information available and up to date? If not, I outlined it in this pull request.
  • [/] Checked documentation: Is the information available and up to date? If not, I created an issue at https://github.com/JabRef/user-documentation/issues or, even better, I submitted a pull request to the documentation repository.

@subhramit subhramit merged commit bc19818 into main Apr 18, 2025
@subhramit subhramit deleted the cleanup branch April 18, 2025 23:55
@trag-bot

trag-bot Bot commented Apr 18, 2025

Copy link
Copy Markdown

@trag-bot didn't find any issues in the code! ✅✨

@github-actions

Copy link
Copy Markdown
Contributor

The build for this PR is no longer available. Please visit https://builds.jabref.org/main/ for the latest build.

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.

1 participant