[S] Change in onomondo-eim[master]: contrib/onomondo-eim.sh: add option to set a mnesia dir - gerrit-log

14 Jul 2026


      Attention is currently required from: dexter.
jolly has posted comments on this change by dexter. ( https://gerrit.osmocom.org/c/onomondo-eim/+/42998?usp=email )
Change subject: contrib/onomondo-eim.sh: add option to set a mnesia dir
......................................................................
Patch Set 1: Code-Review+1
-- 
To view, visit https://gerrit.osmocom.org/c/onomondo-eim/+/42998?usp=email
To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings?usp=email

Gerrit-MessageType: comment
Gerrit-Project: onomondo-eim
Gerrit-Branch: master
Gerrit-Change-Id: I6a13a631da7903db4766168380ce727127a4d47b
Gerrit-Change-Number: 42998
Gerrit-PatchSet: 1
Gerrit-Owner: dexter pmaier@sysmocom.de
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: jolly andreas@eversberg.eu
Gerrit-Attention: dexter pmaier@sysmocom.de
Gerrit-Comment-Date: Tue, 14 Jul 2026 11:15:36 +0000
Gerrit-HasComments: No
Gerrit-Has-Labels: Yes