[mingw32-gtkhtml3/f17] Package has been renamed to mingw-gtkhtml3

[epienbro]

Summary of changes:

  4f8375c... Package has been renamed to mingw-gtkhtml3 (*)

(*) This commit already existed in another branch; no separate mail sent