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.

Sign up for GitHub

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

Jump to bottom

. #180

Merged

Yatekii merged 1 commit into nrf-rs:master from jonas-schievink:dot

Jul 14, 2020

Contributor

jonas-schievink commented Jul 14, 2020 •

edited

.

f79d5eb

Contributor

Yatekii commented Jul 14, 2020

Wow! Thanks for doing this! Always triggers me, but then again, I am lazy :)

Yatekii merged commit ed8bf7f into nrf-rs:master

jonas-schievink deleted the dot branch

July 14, 2020 21:30

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment