Droping this superseded plugin (#1364)

waja notifications at
Sun Oct 4 21:33:02 CEST 2015

Let's drop this plugin, as we have C-plugins for this since ages.
You can view, comment on, or merge this pull request online at:

-- Commit Summary --

  * Droping this superseded plugin

-- File Changes --

    M NEWS (2)
    D plugins-scripts/ (472)

-- Patch Links --

Reply to this email on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Devel mailing list