Allow setting EFM user.email and ping.server.ip properties#630

Merged

vibhorkumar123 merged 1 commit intoEnterpriseDB:mainfrom Ianvdl:efm-properties-patch

Apr 30, 2024

+4-1

Commits on Apr 17, 2024

Allow setting EFM user.email and ping.server.ip properties.
Ianvdl
committed