Changes between Initial Version and Version 1 of Ticket #51663, comment 7
- Timestamp:
- Jul 11, 2017, 12:53:30 PM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #51663, comment 7
initial v1 1 Thanks. Is there is a reason not to use the GitHub portgroup to fetch this port? It should simplify theupdating the port in the future because the master_sites line will go away. The current one looks to be specific to each version.1 Thanks. Is there is a reason not to use the GitHub portgroup to fetch this port? It should simplify updating the port in the future because the master_sites line will go away. The current one looks to be specific to each version.