Nicolas Tancogne-Dejean requested to merge hotfix-push_pop into hotfix-8.3 Oct 25, 2018

Description

Fix a push/pop.

News snippet

Minor bugfix.

Checklist

I have checked that my code follows the Octopus coding standards
I have added tests for all the new features added in this request.