We have 5, 8 years old, , "@deprecated No replacement" references in Java code:

It seems they are all related to Minilang.  I think we should either remove the 
concerned methods.

Or rather, easier, remove the "@deprecated No replacement" references since 
anyway Minilang is deprecated as a whole.

I'm for the later and will do so in a week if nobody is against.


Reply via email to