fall17.2

Hugues Louis Brun

@hbrun

70d59667 · Merge remote-tracking branch 'origin/master' · Dec 11, 2017

version for the December tree production