diff --git a/third_party/op-plugin b/third_party/op-plugin index 1ad23e55e884e86cedd37c722380f145c827116c..1efe08bb940ed85c28cc187f9c4ff7caafd6d5b1 160000 --- a/third_party/op-plugin +++ b/third_party/op-plugin @@ -1 +1 @@ -Subproject commit 1ad23e55e884e86cedd37c722380f145c827116c +Subproject commit 1efe08bb940ed85c28cc187f9c4ff7caafd6d5b1