[GRASS-dev] [GRASS GIS] #1434: g.extension: option to specify proxy server

[GRASS GIS]

#1434: g.extension: option to specify proxy server
-------------------------+-------------------------------------------------
  Reporter:  hamish      |      Owner:  grass-dev@…
      Type:              |     Status:  closed
  enhancement            |
  Priority:  major       |  Milestone:  7.4.0
 Component:              |    Version:  svn-trunk
  Installation           |
Resolution:  fixed       |   Keywords:  g.extension, urllib, wget, r.in.wms
       CPU:  All         |   Platform:  All
-------------------------+-------------------------------------------------
Changes (by martinl):

 * status:  new => closed
 * resolution:   => fixed


Comment:

 Closing, feel free to re-open if needed.

--
Ticket URL: <https://trac.osgeo.org/grass/ticket/1434#comment:17>
GRASS GIS <https://grass.osgeo.org>