Processed: merge
Processing commands for control@bugs.debian.org:
> forcemerge 1044373 1048842
Bug #1044373 {Done: Santiago Vila <sanvila@debian.org>} [src:freefem] freefem: Fails to build source after successful build
Bug #1048842 {Done: Santiago Vila <sanvila@debian.org>} [src:freefem] freefem: Fails to build source after successful build
Merged 1044373 1048842
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
1044373: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1044373
1048842: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1048842
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: