RESET does not work as described

PG Doc comments form <[email protected]>
Newsgroups gmane.comp.db.postgresql.devel.documentation
Message-ID <[email protected]> 
The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/10/bug-reporting.html
Description:

The initial value returned when current_setting() is passed an unset
parameter is '<NULL>'. 
After a SET and a RESET, the value returned by current_setting() is ''. 
This causes an invalid cast when the value is cast to an integer, as it is
expected to be.
Tested on Postgres 10 in Linux.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.