Robert Haas <robertmhaas@gmail.com> writes:
>> [ oom_score_adj business ]
> Did we do anything about this? Anyone else have an opinion on what
> ought to be done?
I held off doing anything because it didn't seem like we had consensus.
OTOH, it may well be that it's not important enough to demand real
consensus, and he who does the work gets to make the choices.
regards, tom lane