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