Set gen_random_uuid() to volatile
authorPeter Eisentraut <peter@eisentraut.org>
Wed, 19 Feb 2020 19:09:32 +0000 (20:09 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Wed, 19 Feb 2020 19:09:32 +0000 (20:09 +0100)
commit2ed19a488edb3980e054e6064e7028ccb652e5df
tree44ed2349d644005f32dac71e40c619d00833f5f5
parent5b618e1f48aecc66e3a9f60289491da520faae19
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
src/include/catalog/catversion.h
src/include/catalog/pg_proc.dat