On Fri, Nov 21, 2014 at 10:40:17PM +0200, Oded Gabbay wrote: > Signed-off-by: Oded Gabbay You should provide a rationale for this change in the commit message. Thierry