Closed raph-amiard closed 1 year ago
This is just a copy of Tuck's PR, that is not mergeable anymore. Here is the original PR for reference: https://github.com/AdaCore/ada-spark-rfcs/pull/85
This is just a copy of Tuck's PR, that is not mergeable anymore. Here is the original PR for reference: https://github.com/AdaCore/ada-spark-rfcs/pull/85