Update distinfo after changes to the configure script and documentation
have been applied in the repo under the version tag used for the port.
Approved by: antoine (implicit)
Update distinfo after changes to the configure script and documentation Tags None Referenced Files None Subscribers None
Description
Details
|