fix a crash
Merge branch 'release/0.8.8' into develop

Conflicts:
	src/fr/geobert/radis/ui/OperationListActivity.java