Skip to content

Release 2.12#17

Merged
gabrielfedel merged 1 commit into
masterfrom
rel_2.12
Jan 11, 2024
Merged

Release 2.12#17
gabrielfedel merged 1 commit into
masterfrom
rel_2.12

Conversation

@gabrielfedel

Copy link
Copy Markdown
Contributor

To include latest changes
Related to #16

To include latest changes
@AppVeyorBot

Copy link
Copy Markdown

Build devlib2 1.0.16 failed (commit 52fe551924 by @gabrielfedel)

@jerzyjamroz

Copy link
Copy Markdown
Contributor

If it solves issue #16 then let's make the release. I understood that 2.11 works for us because we use a patch.

@gabrielfedel gabrielfedel merged commit 5c881d2 into master Jan 11, 2024
@jerzyjamroz jerzyjamroz deleted the rel_2.12 branch January 12, 2024 11:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Quite some time since last tag

3 participants