Merge branch 'fix/ivette/global-pivot-state' into 'master'

[ivette] Pivot table: uses a global state for the pivot table.

See merge request frama-c/frama-c!3696