bump catch2 version #678

Merged
mohr merged 1 commits from mueller/bump-catch2 into development 2022-09-12 14:24:29 +02:00
Owner

Bump Catch2 to regular release

Bump Catch2 to regular release
muellerr added 1 commit 2022-09-06 15:47:31 +02:00
bump catch2 version
Some checks are pending
fsfw/fsfw/pipeline/head Build started...
fsfw/fsfw/pipeline/pr-development Build queued...
07ef9a0ec3
muellerr requested review from mohr 2022-09-06 15:47:38 +02:00
muellerr requested review from gaisser 2022-09-06 15:47:38 +02:00
muellerr added this to the v6.0.0 milestone 2022-09-06 15:48:35 +02:00
mohr approved these changes 2022-09-12 12:56:06 +02:00
mohr left a comment
Owner

yay, finally...

yay, finally...
mohr removed review request for gaisser 2022-09-12 12:56:11 +02:00
mohr merged commit 278ed36db8 into development 2022-09-12 14:24:29 +02:00
mohr deleted branch mueller/bump-catch2 2022-09-12 14:24:33 +02:00
Sign in to join this conversation.
No description provided.