[mapserver-commits] [mapserver/mapserver] b8139f: Feature names with dots are now supported for feat...

[Even Rouault]

  Branch: refs/heads/branch-7-4
  Home:   https://github.com/mapserver/mapserver
  Commit: b8139f21efbf6be27532438c026818e69b23af1c
      https://github.com/mapserver/mapserver/commit/b8139f21efbf6be27532438c026818e69b23af1c
  Author: Erik Ravhed <er at t-kartor.se>
  Date:   2019-04-12 (Fri, 12 Apr 2019)

  Changed paths:
    M mapogcfilter.c
    M mapogcfiltercommon.c

  Log Message:
  -----------
  Feature names with dots are now supported for feature id filtering (fixes #5741)


  Commit: 8413c7902dc8633b5d14503cb1c1b061c7b1f412
      https://github.com/mapserver/mapserver/commit/8413c7902dc8633b5d14503cb1c1b061c7b1f412
  Author: Even Rouault <even.rouault at mines-paris.org>
  Date:   2019-04-15 (Mon, 15 Apr 2019)

  Changed paths:
    M mapogcfilter.c
    M mapogcfiltercommon.c

  Log Message:
  -----------
  Merge pull request #5786 from ravhed/filter-id-dot

Feature names with dots are now supported for feature id filtering


Compare: https://github.com/mapserver/mapserver/compare/b4b680d45b93...8413c7902dc8