# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1426691850 -3600
# Node ID 09a6126f89b9673e92cf1777c2a5bfd8b5d808e7
# Parent  2e087e093e7fbb835339939ea2fbc4ae6a42ea41
closing branch frontends_multi_profiles