> On 15 Oct 2024, at 22:48, Peter Eisentraut wrote:
>
> On 09.10.24 20:30, Daniel Gustafsson wrote:
>>> On 9 Oct 2024, at 19:15, Nathan Bossart wrote:
>>> Another problem is that "deprecated" may or may not imply that the feature
>>> will be removed in the future. IMHO we should be clear about
> On 16 Oct 2024, at 06:57, David G. Johnston
> wrote:
> I’m for the status-quo. We don’t imply removal when we say deprecated, only
> that (usually) a better alternative exists. This setup meets our existing
> standards.
The status-quo is inconsistency, we sometimes remove features we've m
On Wednesday, October 9, 2024, Daniel Gustafsson wrote:
> > On 9 Oct 2024, at 19:15, Nathan Bossart
> wrote:
>
> > Another problem is that "deprecated" may or may not imply that the
> feature
> > will be removed in the future. IMHO we should be clear about that when
> we
> > intend to remove so
On 09.10.24 20:30, Daniel Gustafsson wrote:
On 9 Oct 2024, at 19:15, Nathan Bossart wrote:
Another problem is that "deprecated" may or may not imply that the feature
will be removed in the future. IMHO we should be clear about that when we
intend to remove something down the road (e.g., "thi
> On 9 Oct 2024, at 19:15, Nathan Bossart wrote:
> Another problem is that "deprecated" may or may not imply that the feature
> will be removed in the future. IMHO we should be clear about that when we
> intend to remove something down the road (e.g., "this flag is deprecated
> and will be remov
On Wed, Oct 09, 2024 at 06:45:07PM +0200, Daniel Gustafsson wrote:
>> On 9 Oct 2024, at 18:33, Nathan Bossart wrote:
>>
>> On Wed, Oct 09, 2024 at 10:08:31AM +0200, Daniel Gustafsson wrote:
>>> The -H option to oid2name was deprecated in v12, and with v12 going out of
>>> support it seems about t
> On 9 Oct 2024, at 18:33, Nathan Bossart wrote:
>
> On Wed, Oct 09, 2024 at 10:08:31AM +0200, Daniel Gustafsson wrote:
>> The -H option to oid2name was deprecated in v12, and with v12 going out of
>> support it seems about time to remove it for v18. Not the most
>> groundbreaking
>> cleanup, b
On Wed, Oct 09, 2024 at 10:08:31AM +0200, Daniel Gustafsson wrote:
> The -H option to oid2name was deprecated in v12, and with v12 going out of
> support it seems about time to remove it for v18. Not the most groundbreaking
> cleanup, but also no point in carrying it around for 5 more years.
Seem
