diff --git a/third_party/op-plugin b/third_party/op-plugin index e59b0ecbe6fc170aa5f4a3f798eb09b2620d900a..480bc4311abb3be02a5e204caf3890bc02e32e10 160000 --- a/third_party/op-plugin +++ b/third_party/op-plugin @@ -1 +1 @@ -Subproject commit e59b0ecbe6fc170aa5f4a3f798eb09b2620d900a +Subproject commit 480bc4311abb3be02a5e204caf3890bc02e32e10