Skip to content
Cleanup after PR

Fix issue #9306: Move "Open only one instance of JabRef" preference option to somewhere else #3097

Sign in to view logs

Fix issue #9306: Move "Open only one instance of JabRef" preference option to somewhere else

Fix issue #9306: Move "Open only one instance of JabRef" preference option to somewhere else #3097

Triggered via pull request October 30, 2023 20:45
@SiedlerchrSiedlerchr
closed #10602
DiamondMyK:move
Status Success
Total duration 21s
Artifacts –

cleanup_pr.yml

on: pull_request
cleanup
10s
cleanup
Fit to window
Zoom out
Zoom in