tree 87c3ad0014975ec525c47eab72213b6fc91eb339
parent 54bf15afef22ba31115cdd57690b259d02e934b9
author Davide Pesavento <davidepesa@gmail.com> 1658863688 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1658863688 -0400

build: support CentOS Stream 9, make graphviz optional

Change-Id: I5c0d824720f9f701ee2a88774e661c7472baea88