diff options
author | Christian Grothoff <christian@grothoff.org> | 2018-08-09 20:51:42 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2018-08-09 20:51:42 +0200 |
commit | e3f7083b3eb39ed28eee27b6104a3a508437c929 (patch) | |
tree | 214369f070633e4be5011b2c0aa0fa1a18b8b3ce /bootstrap | |
parent | d9474aab0ff6636962ca44dfb90d597203bd98df (diff) |
fix KS state freeing on exit
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions