Processed: libdumb: Please change the build dependency on liballegro4.2-dev

[Debian Bug Tracking System]

Processing control commands:

> block 710595 by -1
Bug #710595 [src:allegro4.4] allegro4.4: Rename liballegro4.2-dev to liballegro4-dev
710595 was blocked by: 710600 710598
710595 was not blocking any bugs.
Added blocking bug(s) of 710595: 710601

-- 
710595: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=710595
710601: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=710601
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems