Fix libraries not being remembered when an unsaved library is discarded upon closing JabRef#9250
Closed
tomnguye wants to merge 7 commits intoJabRef:mainfrom tomnguye:fix-for-issue-#9190
+5-1
Commits
Commits on Oct 14, 2022
- committed
Tom Nguyen - committedTom Nguyen
- authored
- committedTom Nguyen
- committedTom Nguyen
Merge branch 'fix-for-issue-JabRef#9190' of https://github.com/tomnguye/jabref into fix-for-issue-JabRef#9190
committedTom Nguyen
