On Wed, Aug 29, 2012 at 2:29 AM, Charles Plessy ple...@debian.org wrote:
Dear Ondřej and everybody,
I would like to keep separate the two following issues.
1) Whether or not to give a private media type to PHP files in Debian, and
if yes, which one.
2) Provide a smooth upgrade to our
On Wed, 2012-08-29 at 09:28 +0200, Ondřej Surý wrote:
With much cooler head and weekend after me and after carefull
consideration of Chris's
comments I have decided to go with:
Good =)
Some comments to your text :)
php5 (5.4.4-7) unstable; urgency=low
* As a side effect of MIME-Type
2 matches
Mail list logo
