PHP 7.2: The each() function is deprecated.

I was just trying this out, when I got this:

php cli help seed
PHP Deprecated:  The each() function is deprecated. This message will be suppressed on further calls in C:\Users\JamesMc\Data\Clients\EuroCasa\SourceCode\Web\vendor\aura\di\src\Factory.php on line 620

While this may be an issue in the aura package, it seems there is no way to update it from this package.