[Pkg-postgresql-public] Processed: forcibly merging 750557 761992

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> forcemerge 750557 761992
Bug #750557 [pgadmin3] pgadmin: have random crashes ( memory corruption or double free ) 
Bug #753135 [pgadmin3] pgadmin3: pgadmin crahes quite often with assertion failure in ../src/common/wincmn.cpp(478)
Bug #754114 [pgadmin3] pgadmin3 crashes: Unrecognised instruction __lll_unlock_elision
Bug #760350 [pgadmin3] [pgadmin3] pgadmin crashes every time, 100% reproducible
Bug #760350 [pgadmin3] [pgadmin3] pgadmin crashes every time, 100% reproducible
There is no source info for the package 'pgadmin3' at version '1.18.1-3.pgdg70+1' with architecture ''
Unable to make a source version for version '1.18.1-3.pgdg70+1'
Marked as found in versions pgadmin3/1.20.0~beta1-1.
Marked as found in versions pgadmin3/1.20.0~beta1-1.
Marked as found in versions pgadmin3/1.20.0~beta1-1.
Marked as found in versions pgadmin3/1.20.0~beta1-1.
Bug #761992 [pgadmin3] [pgadmin3] Crashes trying to backup a database
Set Bug forwarded-to-address to 'http://www.postgresql.org/message-id/20140806155112.GD2798@msg.df7cb.de'.
Severity set to 'grave' from 'important'
There is no source info for the package 'pgadmin3' at version '1.18.1-3.pgdg70+1' with architecture ''
Unable to make a source version for version '1.18.1-3.pgdg70+1'
Marked as found in versions 1.18.1-3.pgdg70+1 and pgadmin3/1.18.1-3.
Added tag(s) upstream and confirmed.
Bug #753135 [pgadmin3] pgadmin3: pgadmin crahes quite often with assertion failure in ../src/common/wincmn.cpp(478)
Bug #754114 [pgadmin3] pgadmin3 crashes: Unrecognised instruction __lll_unlock_elision
Merged 750557 753135 754114 760350 761992
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
750557: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=750557
753135: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=753135
754114: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=754114
760350: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=760350
761992: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=761992
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems