On 6/9/2016 5: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
As others suggested, me kinda prefer "PlayStation4" as there's little doubt what that refers to.
