-
Joachim Breitner authored
It now reads Could not coerce from ‛S a’ to ‛S (NT a)’ and does not mention Coercible any more (as discussed in #8567).
1791ea0a
It now reads Could not coerce from ‛S a’ to ‛S (NT a)’ and does not mention Coercible any more (as discussed in #8567).