Skip to content

Spell "BibDesk" with capital "D"#13847

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

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

Conversation

@koppor
Copy link
Copy Markdown
Member

@koppor koppor commented Sep 9, 2025

Just some small spelling fixes

Mandatory checks

@trag-bot
Copy link
Copy Markdown

trag-bot Bot commented Sep 9, 2025

@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