www/webkit-gtk2 - webkit.org or webkitgtk.org ?

[Anton Shterenlikht]

Hi

I wanted to submit a bug report upstream on www/webkit-gtk2.
Do I do it via https://bugs.webkit.org ? Or is this
a different product? If I do use https://bugs.webkit.org,
what version shall I put in? Theirs start at 312.x,
whereas the port has 1.4.3.

Many thanks

-- 
Anton Shterenlikht
Room 2.6, Queen's Building
Mech Eng Dept
Bristol University
University Walk, Bristol BS8 1TR, UK
Tel: +44 (0)117 331 5944
Fax: +44 (0)117 929 4423