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