Re: Version identifier for PS4

[rikki cattermole via Digitalmars-d]

On 10/06/2016 12:30 AM, Johan Engelen wrote:

Hi all,
  PR 5850 is proposing to add a predefined (reserved) version identifier
for the PS4 OS: "PS4" [1].
Thanks for your comment (preferably with an alternative suggestion in
case you don't like "PS4").

Thanks,
  Johan

[1] https://github.com/dlang/dmd/pull/5850

"PS4" is really quite short.

"PlayStation4" would be far better that way it isn't an acronym.