Debian
php7.3 package

  1. Bug #1772915
  2. Comment #2

Comment 2 for bug 1772915

Revision history for this message
Christian Ehrhardt  (paelzer) wrote :

FYI this is added in Debian not Ubuntu quite a long time ago (2010):
=> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=595706

Due to that I think we should actually add the info/doc/.. in Debian and not in Ubuntu as it applies there just as much. I'll open a bug there an quote your report.
Well actually this sounds the same
=> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=831752

Since the above is closed I opened a new one.
=> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=929631