Am 27.08.23 um 18:22 schrieb Sebastian Ramacher:
Shouldn't lua5.1 be removed instead of lua5.2?

It should probably be removed as well some time.
But it is not as easy to get out because there are many more packages depending 
on it.

Reply via email to