drt/odb: fix non-determinism on pin access #10085
+15
−4
Merged
Loading