Processed: Merge duplicate Bugs that are actually fixed in dune-istl

Debian Bug Tracking System owner at bugs.debian.org
Thu Oct 17 18:39:04 BST 2024


Processing commands for control at bugs.debian.org:

> reassign 1084314 src:dune-istl
Bug #1084314 [dune-istl] opm-simulators: FTBFS: /usr/include/dune/istl/superlufunctions.hh:72:49: error: ‘::complex’ has not been declared
Bug reassigned from package 'dune-istl' to 'src:dune-istl'.
Ignoring request to alter found versions of bug #1084314 to the same values previously set
Ignoring request to alter fixed versions of bug #1084314 to the same values previously set
> reassign 1084315 src:dune-istl
Bug #1084315 [dune-istl] opm-upscaling: FTBFS: /usr/include/dune/istl/superlufunctions.hh:72:49: error: ‘::complex’ has not been declared
Bug reassigned from package 'dune-istl' to 'src:dune-istl'.
Ignoring request to alter found versions of bug #1084315 to the same values previously set
Ignoring request to alter fixed versions of bug #1084315 to the same values previously set
> forcemerge 1084252 1084314 1084315
Bug #1084252 {Done: Markus Blatt <markus at dr-blatt.de>} [src:dune-istl] dune-istl: FTBFS: dune/istl/superlufunctions.hh:72:49: error: ‘::complex’ has not been declared
Bug #1084315 [src:dune-istl] opm-upscaling: FTBFS: /usr/include/dune/istl/superlufunctions.hh:72:49: error: ‘::complex’ has not been declared
Marked Bug as done
Marked as fixed in versions dune-istl/2.9.0-6.
Marked as found in versions dune-istl/2.9.0-5.
Bug #1084314 [src:dune-istl] opm-simulators: FTBFS: /usr/include/dune/istl/superlufunctions.hh:72:49: error: ‘::complex’ has not been declared
Marked Bug as done
Marked as fixed in versions dune-istl/2.9.0-6.
Marked as found in versions dune-istl/2.9.0-5.
Merged 1084252 1084314 1084315
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1084252: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1084252
1084314: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1084314
1084315: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1084315
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the debian-science-maintainers mailing list