[Issue 9433] Deprecate delete

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=9433

--- Comment #14 from github-bugzilla at puremagic.com ---
Commits pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/f88ab395386b40f544c9f74ba768549c4fa9e66f
Fix Issue 9433 - Deprecate delete

https://github.com/dlang/dmd/commit/11daae8a0e859cf79de6ea94d6c1d6e7104381e9
Merge pull request #7342 from JinShil/deprecate_delete

Fix Issue 9433 - Deprecate delete
merged-on-behalf-of: unknown

--