Merge pull request #8433 from luchihoratiu/PUP-10627-correction
Автор
Gabriel Nagy

Коммитер
GitHub
5 лет назад 
f664d6a
Родители
GPG верификация
Статус: Неверифицирован
Причина: Не найден публичный ключ
ID ключа: 4aee18f83afdeb23
Cherry-pick
Команда cherry-pick позволяет выбрать отдельные коммиты из одной ветки и применить их к другой.