Skip to content

Spell "BibDesk" with capital "D"#13847

Merged
Siedlerchr merged 1 commit into
mainfrom
fix-casing
Sep 9, 2025
Merged

Spell "BibDesk" with capital "D"#13847
Siedlerchr merged 1 commit into
mainfrom
fix-casing

Conversation

@koppor

@koppor koppor commented Sep 9, 2025

Copy link
Copy Markdown
Member

Just some small spelling fixes

Mandatory checks

  • I own the copyright of the code submitted and I license it under the MIT license
  • [/] I manually tested my changes in running JabRef (always required)
  • [/] I added JUnit tests for changes (if applicable)
  • [/] I added screenshots in the PR description (if change is visible to the user)
  • [/] I described the change in CHANGELOG.md in a way that is understandable for the average user (if change is visible to the user)
  • [/] I checked the user 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 updating file(s) in https://github.com/JabRef/user-documentation/tree/main/en.

@trag-bot

trag-bot Bot commented Sep 9, 2025

Copy link
Copy Markdown

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

@Siedlerchr Siedlerchr added this pull request to the merge queue Sep 9, 2025
Merged via the queue into main with commit 37e5025 Sep 9, 2025
39 checks passed
@Siedlerchr Siedlerchr deleted the fix-casing branch September 9, 2025 19:48
Siedlerchr added a commit that referenced this pull request Sep 11, 2025
* upstream/main:
  Fix NoSuchElementException in ThreeWayMerge dialog (#13838)
  Keep global search bar open when  keep on top pin is selected (#13846)
  Spell "BibDesk" with capital "D" (#13847)
  fix: Improper icon sizing with respect to font size (#13841)
  Ensure latest JDK veriant (#13843)
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.

3 participants