synced shared code
Authored by: Jean-Francois Dockes 2017-03-22
Parent(s): [1aef84]
Child(ren): [ee6055]