GitHub Action 2024.05.14 20:15:33 <span class="t_gh_bot">increment build number</span>
-------------------------------------------------
Closest previous non-bot:
Vlad Khorsun 2024.05.14 11:42:13
This should fix bug #8114 : Segfault in connections pool during server shutdown

Changed paths:
  M src/jrd/extds/ExtDS.cpp