Skip to content

Add dependency to lambda-term

Antonio Locascio requested to merge alocascio@add-lambda-term into master

Tezos MR: tezos!10028 (merged)

Edited by Antonio Locascio

Merge request reports