On 6/5/24 23:51, Philippe Mathieu-Daudé wrote:
Shouldn't we remove the definitions from the source to
complete the "split"?

Gah, I thought I had done that.


r~

Reply via email to