diff --git a/third_party/op-plugin b/third_party/op-plugin index b5124ca4e18eae7635a5000525ee1ac710aecbf8..18c139a0839a798f02425679cd54e5fdbba6967e 160000 --- a/third_party/op-plugin +++ b/third_party/op-plugin @@ -1 +1 @@ -Subproject commit b5124ca4e18eae7635a5000525ee1ac710aecbf8 +Subproject commit 18c139a0839a798f02425679cd54e5fdbba6967e