Closed ngzhian closed 3 years ago
The renaming was accepted in #416. Interpreter was changed in #426. This makes similar changes to the formal text.
The renaming was accepted in #416. Interpreter was changed in #426. This makes similar changes to the formal text.