diff --git a/src/ragel b/src/ragel index e07012473a1..b97e9391780 160000 --- a/src/ragel +++ b/src/ragel @@ -1 +1 @@ -Subproject commit e07012473a186693c7917c300a816deddaede19f +Subproject commit b97e93917808dbfa041701db40805b5d050843b2