tree 20e2657f779c7c3130ea87100fe6387e834f4348
parent ac25eabf035dd87dc6a27076b004cc8009c01d8a
author Davide Pesavento <davidepesa@gmail.com> 1653667505 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1654577701 -0400

Use :rfc: and :abbr: sphinx roles

Change-Id: I34e0ddbd644944d98a26f9c0c93ad787b4d93679