diff --git a/third_party/op-plugin b/third_party/op-plugin index a41de2bf0614525d03a3d899290f79a427ea507d..80414c2b6f000a52e8ca2d41ea36e4339028a1ef 160000 --- a/third_party/op-plugin +++ b/third_party/op-plugin @@ -1 +1 @@ -Subproject commit a41de2bf0614525d03a3d899290f79a427ea507d +Subproject commit 80414c2b6f000a52e8ca2d41ea36e4339028a1ef