Skip to content

Conversation

@fendor
Copy link
Collaborator

@fendor fendor commented Dec 20, 2019

Integrates @mpickering @wz1000 and @bubba feedback. Only removes code and adds one strictness annotation.

@fendor fendor requested review from lukel97 and mpickering and removed request for mpickering December 20, 2019 14:30
@fendor fendor merged commit 6cbadc7 into mpickering:hie-bios Dec 20, 2019
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