diff options
author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-12-12 19:51:36 +0100 |
---|---|---|
committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2017-12-12 19:57:52 +0100 |
commit | 1e11918c8c56e3505193f4e6426c1a34aaae3941 (patch) | |
tree | ac772653e293c9d4197824ed55d7c9b9d9487d6b /.gitlab-ci.yml | |
parent | ac48e72bf6f9f491824e2de59a035c93aab8f81b (diff) |
Lib: Save/restore state for linpools
Also change linpool.current ptr to really point to thr current chunk.
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions