# HG changeset patch
# User grandjoncl
# Date 1352734677 -3600
# Node ID 7d0b9d12bf5aba6ba6189cdc6e91532e83a4e3a3
# Parent  e107b22256805bd992817fc0161f0611235eff51
Closing branch: embed_config