Closed ranocha closed 2 months ago
Right now, we use these annotations/features in some places but not necessarily everywhere. It would be good for consistency (and maybe also for performance) to reconsider this choice.
Right now, we use these annotations/features in some places but not necessarily everywhere. It would be good for consistency (and maybe also for performance) to reconsider this choice.