pull from devel to master to create release 0.20