diff --git a/deps/sefs b/deps/sefs index d392d453..522fe556 160000 --- a/deps/sefs +++ b/deps/sefs @@ -1 +1 @@ -Subproject commit d392d45394b868edbd885e8d21a820eb02a4a731 +Subproject commit 522fe55653791084f2dad0d3766b4e48b332b101