[GRASS-dev] [GRASS GIS] #3728: change libname to major.minor

[GRASS GIS]

#3728: change libname to major.minor
--------------------------+-------------------------
  Reporter:  martinl      |      Owner:  grass-dev@…
      Type:  task         |     Status:  new
  Priority:  normal       |  Milestone:  7.6.1
 Component:  Compiling    |    Version:  svn-trunk
Resolution:               |   Keywords:
       CPU:  Unspecified  |   Platform:  Unspecified
--------------------------+-------------------------

Comment (by martinl):

 No objections, patch applied in r74021 to trunk.

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