PR #2137 Fix kernel registry bug

Fix kernel registry bug #2137

snnn merged 4 commits into master from snnn/kernel_registry

snnn requested a review 6 years ago

snnn force pushed 6 years ago

update

c372cc25

update

ecb70177

snnn force pushed to ecb70177 6 years ago

update

ae43b857

Merge remote-tracking branch 'origin/master' into snnn/kernel_registry

4401df33

askhade approved these changes on 2019-10-17

snnn merged 13f8b49d into master 6 years ago

snnn deleted the snnn/kernel_registry branch 6 years ago

Reviewers

askhade

Assignees

No one assigned

Labels

None yet

Milestone

No milestone