<@U019HVBG2JX> <https://github.com/efabless/carave...
# caravel
d
@User https://github.com/efabless/caravel/issues/3 Don't think it's fixed in
develop
yet. I've reverted it locally