Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> Actually, this used to work, but for some reason it's called 'set
> random_seed' now. I seem to be responsible for this, although I can't
> imagine what the motivation might have been. Should I change it back?
If "set seed" worked in 7.0.* then I think we had better stick with that
spelling. (Tries it ... yes it did.) "random_seed" would be a better
name if we were working in a green field, but it's not enough better to
be worth breaking backwards compatibility for.
regards, tom lane