Bug 242386 - devel/jetbrains-phpstorm: Update to 2019.3
Summary: devel/jetbrains-phpstorm: Update to 2019.3
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Pedro F. Giffuni
URL:
Keywords: easy, patch
Depends on:
Blocks:
 
Reported: 2019-12-02 18:11 UTC by Dmitry Wagin
Modified: 2019-12-03 22:47 UTC (History)
2 users (show)

See Also:
pfg: maintainer-feedback+


Attachments
jetbrains-phpstorm.diff (19.85 KB, patch)
2019-12-02 18:11 UTC, Dmitry Wagin
no flags Details | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Dmitry Wagin 2019-12-02 18:11:22 UTC
Created attachment 209626 [details]
jetbrains-phpstorm.diff

Update to 2019.3
Comment 1 Pedro F. Giffuni freebsd_committer 2019-12-02 18:57:50 UTC
Approved (as maintainer) CC mentor.
Comment 2 Thierry Thomas freebsd_committer 2019-12-03 20:41:51 UTC
Implicit approval (from mentor).
Comment 3 Pedro F. Giffuni freebsd_committer 2019-12-03 22:47:13 UTC
committed as r518969