Update version.h and HISTORY.md for 7.1.2
Автор
Hui Xiao
Hui XiaoКоммитерHui Xiao
3 года назад Hui Xiao 00724f4
Родители
Cherry-pick
Команда cherry-pick позволяет выбрать отдельные коммиты из одной ветки и применить их к другой.
Hui XiaoHui Xiao