Исправление urxvt, 23.03.17 23:52 (текущая версия) :
Да.
Ну правильно тогда, разница межу веткой коллеги и мастером включает твои изменения.
PR нужно делать между dev и веткой коллеги.
Исходная версия urxvt, 23.03.17 23:51: