diff options
| author | Daniel Willmann <dwillmann@sysmocom.de> | 2018-02-08 18:00:37 +0100 |
|---|---|---|
| committer | Harald Welte <laforge@gnumonks.org> | 2018-02-15 18:03:58 +0000 |
| commit | b0c43a606334cb6d0796e9fb102823ce040224f6 (patch) | |
| tree | 0f783e0c6abded3e5bcd23ed2dd5bd7c4a2275e6 /debian/patches | |
| parent | 3c38e60cd55814a7b4c34f22e0b2e6e671f883c4 (diff) | |
fsm: Add a function to change the FSM instance ID later
Sometimes we want to create an FSM instance before we know its name. In
that case we should be able to update the id later.
Change-Id: Ic216e5b11d4440f8e106a297714f4f06c1152945
Diffstat (limited to 'debian/patches')
0 files changed, 0 insertions, 0 deletions