move lib/plexi to 4.0.2
diff --git a/lib/plexi b/lib/plexi index ed5beb0..ef7a357 160000 --- a/lib/plexi +++ b/lib/plexi
@@ -1 +1 @@ -Subproject commit ed5beb08bde3567428bdb428c4827d6156f09715 +Subproject commit ef7a357a5c3171f0a9e4fac117e6446b4820cf2a