Merge branch 'topic/merged_edge_2_master' into 'master'

Bump edge to master See merge request eng/ide/gtkada!21
AdaCore · Jun 24, 2024 · 502097c · 502097c
2 parents d357347 + 05672e9
commit 502097c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/gtkada_ug/system_dependencies.rst b/docs/gtkada_ug/system_dependencies.rst
@@ -70,6 +70,7 @@ Ubunbu 18.04 & 20.04
  * libxrandr-dev
  * libxrender-dev
  * libxshmfence-dev
+ * libxtst-dev
  * libxxf86vm-dev
  * mesa-common-dev
  * uuid-dev