[arch-general] PHP 7.1.0 not compatible with latest stable ownCloud in [community]

Hi Arch enthusiasts, I've just upgraded to testing/php 7.1.0-2. Now my ownCloud installation only displays a short notice on its index.php: This version of ownCloud is not compatible with PHP 7.1. You are currently running 7.1.0. Please use at least ownCloud 9.2.0. However, seems ownCloud 9.2 is still far away to go: https://github.com/owncloud/core/milestone/76, and php 7.1 is not yet fully supported: https://github.com/owncloud/core/issues/26764. I guess I need to leave a loud message to Arch developers and prevent php 7.1.0 from entering [extra]. What's the best way? Open a bug on Flyspray? Thanks for any input! Best, Yen, Chi-Hsuan