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 ** Bug watch added: Debian Bug tracker #595706 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=595706 ** Bug watch added: Debian Bug tracker #831752 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=831752 ** Bug watch added: Debian Bug tracker #929631 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=929631 ** Also affects: php7.3 (Debian) via https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=929631 Importance: Unknown Status: Unknown ** Also affects: php7.3 (Ubuntu) Importance: Undecided Status: New ** Changed in: php7.3 (Ubuntu) Status: New => Triaged ** No longer affects: php5 (Ubuntu) -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1772915 Title: Documentation on PHP session garbage collection needs updating. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/php7.3/+bug/1772915/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
