diff --git a/repos/s-ol b/repos/s-ol index 39c442bd..17f7b134 160000 --- a/repos/s-ol +++ b/repos/s-ol @@ -1 +1 @@ -Subproject commit 39c442bd759e228819de4a788375a0ac926c089a +Subproject commit 17f7b134791972c0f37a2c4812f73111ea736072