PR/55508 CVS commit: pkgsrc/lang/php72

["Juraj Lutter" <otis%netbsd.org@localhost>]

The following reply was made to PR pkg/55508; it has been noted by GNATS.

From: "Juraj Lutter" <otis%netbsd.org@localhost>
To: gnats-bugs%gnats.NetBSD.org@localhost
Cc: 
Subject: PR/55508 CVS commit: pkgsrc/lang/php72
Date: Fri, 20 Nov 2020 15:51:25 +0000

 Module Name:	pkgsrc
 Committed By:	otis
 Date:		Fri Nov 20 15:51:25 UTC 2020
 
 Modified Files:
 	pkgsrc/lang/php72: Makefile Makefile.php PLIST
 
 Log Message:
 php72: add default-off php-embed option to install embed SAPI
 
 Requested by Sergey Osokin in PR 55508.
 
 
 To generate a diff of this commit:
 cvs rdiff -u -r1.29 -r1.30 pkgsrc/lang/php72/Makefile
 cvs rdiff -u -r1.14 -r1.15 pkgsrc/lang/php72/Makefile.php
 cvs rdiff -u -r1.2 -r1.3 pkgsrc/lang/php72/PLIST
 
 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.