Processed: Re: Bug#945826: Server fails for missing boost library

Debian Bug Tracking System owner at bugs.debian.org
Fri Nov 29 13:51:08 GMT 2019


Processing control commands:

> severity -1 grave
Bug #945826 [freeorion] Server fails for missing boost library
Severity set to 'grave' from 'normal'

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



More information about the Pkg-games-devel mailing list