Skip to content

Conversation

@sylane
Copy link
Contributor

@sylane sylane commented Feb 5, 2018

No description provided.

@eproxus
Copy link
Member

eproxus commented Jul 31, 2018

@sylane This looks useful. What's the status of the PR?

@sylane
Copy link
Contributor Author

sylane commented Jul 31, 2018

I was convinced this was merged in....

@sylane
Copy link
Contributor Author

sylane commented Jul 31, 2018

I think I needed it to include random generator for ATC, but embedded brains finally add it to the toolchain. So this is still useful but not really needed just yet...

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