Bug 242386

Summary: devel/jetbrains-phpstorm: Update to 2019.3
Product: Ports & Packages Reporter: Dmitry Wagin <dmitry.wagin>
Component: Individual Port(s)Assignee: Pedro F. Giffuni <pfg>
Status: Closed FIXED    
Severity: Affects Only Me CC: dmitry.wagin, thierry
Priority: --- Keywords: easy, patch
Version: LatestFlags: pfg: maintainer-feedback+
Hardware: Any   
OS: Any   
Attachments:
Description Flags
jetbrains-phpstorm.diff none

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