Changes between Initial Version and Version 1 of Ticket #5090, comment 1


Ignore:
Timestamp:
Feb 9, 2022, 4:36:48 PM (2 years ago)
Author:
tbussmann

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #5090, comment 1

    initial v1  
    1 as I haven't contributed before - would it be preferred to send a .patch or raise a pull request on GitHub for issues like this?
     1as I haven't contributed before - would it be preferred to send a .patch or raise a pull request on GitHub for issues like this?
     2''Edit'': I've looked around a bit and it seems GitHub is a usual way these days. Unfortunately, the nice CI integration will likely not cover this corner case. Here are my Pull Requests: https://github.com/postgis/postgis/pull/662 and https://github.com/postgis/postgis/pull/663