Tatsuo Ishii <ishii@postgresql.org> writes:
>> I think the best way to proceed is probably to fix this in HEAD but
>> not back-patch it. During a dump and reload the encoding can be
>> corrected to something safe.
> Ok. Shall I go ahead and remove JOHAB in HEAD?
+1 for me.
regards, tom lane