• Show log

    Commit

  • Hash : 1d37da33
    Author : Carlos Martín Nieto
    Date : 2013-10-30T16:25:49

    merge: any non-zero return from the user is an error This fixes #1703.