Comment by jeltz

You are correct: https://git.postgresql.org/gitweb/?p=postgresql.git;a=commit...