Skip to content
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

New version IRTools: 0.1.3 #419

Closed
wants to merge 1 commit into from
Closed

Conversation

JuliaRegistrator
Copy link
Contributor

Registering: IRTools
Repository: https://github.com/MikeInnes/IRTools.jl
Version: v0.1.3
Commit: d6500807f16c5b68ddf7221fa8c20289fcd33b28
Proposed by: @MikeInnes
Reviewed by: @MikeInnes
Reference: FluxML/IRTools.jl@d650080#commitcomment-33349101

UUID: 7869d1d1-7146-5819-86e3-90919afe41df
Repo: https://github.com/MikeInnes/IRTools.jl.git
Tree: 239f0342c82e582524409ad453bf71b0b12c462f

Registrator commit: e7b5833c4906f5dd86472614138a72dfaef33436
JuliaRegistrator referenced this pull request in FluxML/IRTools.jl Apr 29, 2019
@MikeInnes
Copy link
Contributor

Superseded by #422.

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