tree d080781ba7c6c0cb2bd5fa8719cba65e695c40d6
parent 4e539faaa56636c9f0546bc913a835ecce8c57c3
author Andreas Veithen <andreas.veithen@gmail.com> 1686254996 +0000
committer Andreas Veithen <andreas.veithen@gmail.com> 1686254996 +0000

AXIOM-506: Remove unnecessary dependency