Ubuntu
php7.1 package

  1. Bug #1757344
  2. Comment #2

Comment 2 for bug 1757344

Revision history for this message
Nish Aravamudan (nacc) wrote :

Hello and thank you for filing this bug!

Was your update performed from a terminal (e.g., using apt or apt-get) or from a GUI (e.g. update-manager)? If the latter, which GUI?

The segmentation fault reported is actually in the package manager itself (the frontend of it), not with PHP.

A workaround is probably to use apt/apt-get, if you weren't already, to perform the upgrade.