Merge develop into master to create a 2.2.3 #95

Merged

lgrd merged 1 commit intomasterfrom develop

Oct 19, 2023

+142-13

Commits on Oct 19, 2023

[fix] disconnect all sources (so bases) when a restart is asked (#94 )
jmkerloch
authored