am 1c71fffe: update platform version number for docs
* commit '1c71fffeb5d6a241ccbe7f035ce0d030eaeef562': update platform version number for docs
This commit is contained in:
commit
c46246ad8d
* commit '1c71fffeb5d6a241ccbe7f035ce0d030eaeef562': update platform version number for docs