Processed: merging 1017161 1017319

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> merge 1017161 1017319
Bug #1017161 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token
Bug #1017161 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token
Marked as found in versions gringo/5.4.1-3.
Bug #1017319 [src:gringo] gringo: FTBFS: catch.hpp:6415:41: error: array bound is not an integer constant before ‘]’ token
Merged 1017161 1017319
> thanks
Stopping processing here.

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