multimedia/kodi-addon-pvr-iptvsimple: Update to 3.7.2

portlint

rm -rf /usr/local/caronade/work/portlint/repo.git
git clone https://code.bluelife.at/decke/ports.git /usr/local/caronade/work/portlint/repo.git
Cloning into '/usr/local/caronade/work/portlint/repo.git'...
git -C "/usr/local/caronade/work/portlint/repo.git" -c advice.detachedHead=false checkout 6cac878bd31114b08c8d72847e3d03ae0494d925
HEAD is now at 6cac878 multimedia/kodi-addon-pvr-iptvsimple: Update to 3.7.2

portlint -A /usr/local/caronade/work/portlint/repo.git/multimedia/kodi-addon-pvr-iptvsimple
looks fine.
rm -rf /usr/local/caronade/work/portlint/repo.git