• Show log

    Commit

  • Hash : a6192d7c
    Author : Carlos Martín Nieto
    Date : 2013-11-11T15:32:13

    remote: update head list on push
    
    A previous commit forgot to update the head list after push as well,
    leading to wrong output of git_remote_ls().