search

AdaCore / ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages
62 stars 28 forks source link

typo: minor typo fix #110

Closed dkm closed 8 months ago

dkm commented 8 months ago

That's obsolete after #105