[postgis-tickets] [PostGIS] #4303: Getting this error on many bots -ALTER EXTENSION failing

[PostGIS]

#4303: Getting this error on many bots -ALTER EXTENSION failing
----------------------+---------------------------
  Reporter:  robe     |      Owner:  Algunenano
      Type:  defect   |     Status:  new
  Priority:  blocker  |  Milestone:  PostGIS 3.0.0
 Component:  postgis  |    Version:  trunk
Resolution:           |   Keywords:
----------------------+---------------------------
Changes (by Algunenano):

 * owner:  pramsey => Algunenano


Comment:

 Totally my fault in #4296. `current_setting('server_version_num')` returns
 a 5 digit integer, not 3.

-- 
Ticket URL: <https://trac.osgeo.org/postgis/ticket/4303#comment:2>
PostGIS <http://trac.osgeo.org/postgis/>
The PostGIS Trac is used for bug, enhancement & task tracking, a user and developer wiki, and a view into the subversion code repository of PostGIS project.