lean icon indicating copy to clipboard operation
lean copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

FreeBSD patches

Open yurivict opened this issue 3 years ago • 1 comments

yurivict avatar Sep 01 '22 02:09 yurivict

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

Otherwise LGTM.

gebner avatar Sep 02 '22 16:09 gebner