diff options
| author | Juergen Werner <juergen@opensourcerouting.org> | 2019-10-01 15:23:55 +0200 |
|---|---|---|
| committer | Juergen Werner <juergen@opensourcerouting.org> | 2019-10-01 15:25:18 +0200 |
| commit | a72a3fa6373af2729abc7c2c27fb57c9393718f2 (patch) | |
| tree | c38c5d89a52875e2a597d1b7734cde41fa3c31d4 /doc/manpages/conf.py | |
| parent | 4d8ebeddc56f49aa0b4d7cec506cab14320e1bb4 (diff) | |
lib: Revert "lib: Stop arm crash on shutdown"
This reverts commit 11375c52740089b6b49ca7d56b2cea0c7208338c.
That commit was introduced to fix a CI failure, which should now not
accure due to the preceding commit/revert.
Signed-off-by: Juergen Werner <juergen@opensourcerouting.org>
Diffstat (limited to 'doc/manpages/conf.py')
0 files changed, 0 insertions, 0 deletions