Release in release branch #14

Merged bdonneaux merged 3 commits into DEVops:master from DEVops:devel_bear on 25 Jul 2018

2018-07-25	4864a0b Browse files » Release in release branch ... Signed-off-by: Benoit Donneaux <benoit.donneaux@digital-me.nl> Benoit Donneaux committed on 25 Jul 2018
	70e4f08 Browse files » Push the next rather than current version ... Signed-off-by: Benoit Donneaux <benoit.donneaux@digital-me.nl> Benoit Donneaux committed on 25 Jul 2018
	83d833a Browse files » Cosmetic only ... Signed-off-by: Benoit Donneaux <benoit.donneaux@digital-me.nl> Benoit Donneaux committed on 25 Jul 2018