tree 3a452b8b8c25ee4f0d6f2a42a7e9046de9a618b1
parent b785984c8b3883b762b6cd53bd29c20f779b7503
author Nicola Ferraro <ni.ferraro@gmail.com> 1575475378 +0100
committer Luca Burgazzoli <lburgazzoli@users.noreply.github.com> 1575561112 +0100

Fix #1047: adding platform trait doc