tree 76f0a211620652089724a23fd74d67422d3e172b
parent bf1ab1ba860b50b1a837d312df8de5b1f4b1017f
author Rafal Kapuscik <rkapuscik@antmicro.com> 1669731438 +0100
committer Rafal Kapuscik <rkapuscik@antmicro.com> 1671711928 +0100

Handle -formal

Signed-off-by: Rafal Kapuscik <rkapuscik@antmicro.com>