diff --git a/external/mono b/external/mono index f3235f3d032..f795aa5d2db 160000 --- a/external/mono +++ b/external/mono @@ -1 +1 @@ -Subproject commit f3235f3d032922e64697564d14e40cb890a3671f +Subproject commit f795aa5d2dbbf7298edc7ceacceb1763c7ce9352