Re: Un-deprecating oset

[Philipp Stephani]

Am Di., 12. Mai 2020 um 17:32 Uhr schrieb Jonas Bernoulli <address@hidden>:
>
> Well, it seems nobody else (who has noticed so far) shares my opinion
> (enough to comment here).

I definitely agree that oset shouldn't be deprecated. Not that I like
it with a passion, but we should in general never deprecate anything
that isn't actually broken or causes trouble. This deprecation seems
to be mostly motivated by a desire for hypothetical cleanliness, which
isn't a good enough reason.