Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
https://wiki.archlinux.org/title/Bug_reporting_guidelines
Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.
REPEAT: Do NOT report bugs for outdated packages!
FS#11439 - pgadmin3 is not in gnome menus.
Attached to Project:
Community Packages
Opened by Maximilien Cuony (the_glu) - Wednesday, 10 September 2008, 22:25 GMT
Last edited by Andrea Scarpino (BaSh) - Tuesday, 16 September 2008, 04:52 GMT
Opened by Maximilien Cuony (the_glu) - Wednesday, 10 September 2008, 22:25 GMT
Last edited by Andrea Scarpino (BaSh) - Tuesday, 16 September 2008, 04:52 GMT
|
Detailscommunity/pgadmin3 1.8.4-1
pgadmin3 in not in gnome menus. |
This task depends upon
Closed by Andrea Scarpino (BaSh)
Tuesday, 16 September 2008, 04:52 GMT
Reason for closing: Fixed
Additional comments about closing: fixed by dsa
Tuesday, 16 September 2008, 04:52 GMT
Reason for closing: Fixed
Additional comments about closing: fixed by dsa
Comment by Maximilien Cuony (the_glu) -
Wednesday, 10 September 2008, 22:25 GMT
"pgadmin3 IS not in gnome menus", sorry.