Version recording APIs for compatible Op upgrades, test=develop#26644

Merged

Shixiaowei02 merged 1 commit intoPaddlePaddle:developfrom

Shixiaowei02:dev/op_reg

Aug 25, 2020

Commits on Aug 25, 2020

update op_version_registry, test=develop
Shixiaowei02
committed