Skip to content

Comments

FreeBSD patches#764

Open
yurivict wants to merge 1 commit intoleanprover-community:masterfrom
yurivict:FreeBSD-patches
Open

FreeBSD patches#764
yurivict wants to merge 1 commit intoleanprover-community:masterfrom
yurivict:FreeBSD-patches

Conversation

@yurivict
Copy link
Contributor

@yurivict yurivict commented Sep 1, 2022

No description provided.

@gebner
Copy link
Member

gebner commented Sep 2, 2022

Please title the PR fix(util/memory): support freebsd

Otherwise LGTM.

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.

2 participants