Christian Ullrich <chris(at)chrullrich(dot)net> writes:
> The buildfarm says that sorting is frequently done case-sensitively:
Given that it's Friday evening in Europe, I'm betting Michael is gone
for the day. In the interests of getting the buildfarm back to green,
I'll see if I can fix this.
regards, tom lane