Set gen_random_uuid() to volatile

Peter Eisentraut <peter@eisentraut.org>

Commit: 2ed19a488edb3980e054e6064e7028ccb652e5df
Author: Peter Eisentraut <peter@eisentraut.org>
Date: 2020-02-19T19:09:32Z
Releases: 13.0
Set gen_random_uuid() to volatile

It was set to immutable.  This was a mistake in the initial
commit (5925e5549890416bcf588334d9d0bc99f8ad6c7f).

Reported-by: hubert depesz lubaczewski <depesz@depesz.com>
Discussion: https://www.postgresql.org/message-id/flat/20200218185452.GA8710%40depesz.com

Files

PathChange+/−
src/include/catalog/catversion.h modified +1 −1
src/include/catalog/pg_proc.dat modified +2 −2

Discussion