Mon, 12 Nov 2012 16:37:57 +0100 grandjoncl Closing branch: embed_config embed_config
Mon, 12 Nov 2012 16:22:33 +0100 grandjoncl Merge with 3d525c04fc7270c950e7cce4041a885f609e8173
(0) -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 tip