Updated version for eea.facetednavigation to 7.2-dev