Skip to content
Snippets Groups Projects
Commit 072b0d3f authored by Pedro Gonnet's avatar Pedro Gonnet
Browse files

tighten up code for integrator kick.

Former-commit-id: 52ee3b0259133472f476542be1b3461d1c9a9e12
parent 58a9668e
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment