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