which bug does this patch propose to fix? - is there a bug report or mailing list thread about the problem?
-- http://gnuzilla.gnu.org
- [Bug-gnuzilla] The patch of extensions & themes install... Kiryuu Sakuya
- Re: [Bug-gnuzilla] The patch of extensions & theme... bill-auger
- Re: [Bug-gnuzilla] The patch of extensions & theme... Kiryuu Sakuya
- Re: [Bug-gnuzilla] The patch of extensions & t... Antonio Trande
- Re: [Bug-gnuzilla] The patch of extensions &am... Kiryuu Sakuya
- Re: [Bug-gnuzilla] The patch of extensions & theme... kitsunyan
