Feature/nested context#1013

Merged

jgebal merged 8 commits intodevelopfrom

feature/nested_context

Nov 1, 2019

Commits on Oct 25, 2019

Merge remote-tracking branch 'origin/develop' into feature/nested_context
jgebal
committed

Commits on Oct 28, 2019

Added support for `--%name` annotation, to name the contexts.
jgebal
committed