Merge pull request #13159 from neheb/sed
authorRosen Penev <rosenp@gmail.com>
Tue, 18 Aug 2020 20:10:10 +0000 (13:10 -0700)
committerGitHub <noreply@github.com>
Tue, 18 Aug 2020 20:10:10 +0000 (13:10 -0700)
commitf3bb00dfc2fbf2d60e598c9c9ed8ea6ddf19e0be
tree8a383adc04ab375c89fc91bcd68380e6e02b7a0c
parent00571c397b61868f426e2292f1c7494788815f07
parent932b850245b3688b01304a0adb8847e0d6757eb3
Merge pull request #13159 from neheb/sed

sed: don't use selinux