Skip to content

Allow sbv 8.15 (#1205)#1219

Merged
robdockins merged 1 commit intomasterfrom
felixonmars-patch-2
Jul 23, 2021
Merged

Allow sbv 8.15 (#1205)#1219
robdockins merged 1 commit intomasterfrom
felixonmars-patch-2

Conversation

@lisanna-dettwyler
Copy link
Contributor

No description provided.

@lisanna-dettwyler lisanna-dettwyler self-assigned this Jun 16, 2021
@atomb atomb force-pushed the felixonmars-patch-2 branch from 296d07f to 4526f50 Compare July 23, 2021 15:27
@robdockins robdockins merged commit e6f80ed into master Jul 23, 2021
@RyanGlScott RyanGlScott deleted the felixonmars-patch-2 branch March 22, 2024 14:48
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