The code in the these two files is quite old since they refer
to the /opt/gnome path for GNOME files which was changed
to /usr quite a while back.

They should either be deleted or changed to reflect the current
changes. Are the tags relevant for the current GNOME?

-- 
Abhishek

Reply via email to