diff --git a/third_party/op-plugin b/third_party/op-plugin index ba3cc8c838fadf785aaffe83d86452f679d66470..73ba78d0d1b73c80d6fb6a9182017e759611fe92 160000 --- a/third_party/op-plugin +++ b/third_party/op-plugin @@ -1 +1 @@ -Subproject commit ba3cc8c838fadf785aaffe83d86452f679d66470 +Subproject commit 73ba78d0d1b73c80d6fb6a9182017e759611fe92