Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix #23416: When GitHub CI fails, the hs_err dumps should be included…
… in the test artifacts git-svn-id: https://josm.openstreetmap.de/svn/trunk@18936 0c6e7542-c601-0410-84e7-c038aed88b3b
- Loading branch information