tree d826c0309f4999d1759c1f0cf6d517f309752602
parent b77fad8ebe60d5eb2966e4ab20de51c1770d2a1a
author Nicola Di Lieto <nicola.dilieto@gmail.com> 1592864128 +0200
committer Nicola Di Lieto <nicola.dilieto@gmail.com> 1592864128 +0200

add comment about potential future extension

as requested, see
https://github.com/ARMmbed/mbedtls/pull/3419#discussion_r443836568

Signed-off-by: Nicola Di Lieto <nicola.dilieto@gmail.com>