Here is the open issue on NextcloudPi’s Github account.

Upgrade in progress in branch php72 (link). I was waiting for the armhf redis php 7.2 package to be available, which seems to be the case already.

Does anyone know how to properly find + install this package so we can upgrade to full PHP 7.2?