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
Mon, 12 Nov 2012 16:17:22 +0100 grandjoncl Merge with e107b22256805bd992817fc0161f0611235eff51
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 tip