1diff --git a/tools/mono_version b/tools/mono_version 2index d9cdae59..819e07a2 100644 3--- a/tools/mono_version 4+++ b/tools/mono_version 5@@ -1 +1 @@ 6-5.20 7+5.0 8
1diff --git a/tools/mono_version b/tools/mono_version 2index d9cdae59..819e07a2 100644 3--- a/tools/mono_version 4+++ b/tools/mono_version 5@@ -1 +1 @@ 6-5.20 7+5.0 8