Skip to content

Various fixes + split log_u32 #388

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Oct 20, 2019
Merged

Various fixes + split log_u32 #388

merged 4 commits into from
Oct 20, 2019

Conversation

minad
Copy link
Member

@minad minad commented Oct 19, 2019

Some small oversights

Edit: I splitted the log function for more configurability and better readability

@minad minad requested a review from sjaeckel October 19, 2019 16:44
@minad minad changed the title Various fixes Various fixes + split log_u32 Oct 19, 2019
@minad minad requested a review from czurnieden October 19, 2019 17:45
@minad
Copy link
Member Author

minad commented Oct 20, 2019

There are some bn_* files reintroduced here which should be renamed.

@sjaeckel
Copy link
Member

I've seen it just now. Will do the rename.

@sjaeckel sjaeckel merged commit 5b2aad8 into develop Oct 20, 2019
@sjaeckel sjaeckel deleted the various-fixes branch October 20, 2019 14:27
@sjaeckel sjaeckel removed the finished label Oct 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.

3 participants