| Mon, 12 Nov 2012 16:37:57 +0100 | grandjoncl | Closing branch: embed_config | changeset | files |
| Mon, 12 Nov 2012 16:22:33 +0100 | grandjoncl | Merge with 3d525c04fc7270c950e7cce4041a885f609e8173 | changeset | files |
| Mon, 12 Nov 2012 16:17:22 +0100 | grandjoncl | Merge with e107b22256805bd992817fc0161f0611235eff51 | changeset | files |