Revision f12c33843c95507bfbab5b81222eee1fe1e13b1b

Committed on 11/04/2017 5:51 am by Yannick ROGER <yannick.roger@ez.no> [GitHub Diff]

Merge branch '1.9' into master