#3249 Fix updating a remote PR
Merged by pingou. Opened by pingou.
fix_update_remote  into  master

Download 3249.patch

Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr

:thumbsup:

rebased onto b8cacbb15c913bd2b0d35cc51b1672e0f755e217

Pull-Request has been merged by pingou

Metadata