Processed: fixed 1034315 in 7:5.1.3-1, fixed 1034315 in 7:6.0-2, severity of 1034315 is important

["Debian Bug Tracking System" <owner@bugs.debian.org>]

Processing commands for control@bugs.debian.org:

> fixed 1034315 7:5.1.3-1
Bug #1034315 {Done: Sebastian Ramacher <sramacher@debian.org>} [src:ffmpeg] ffmpeg: 5.1, 6.0 libraries not co-installable
Marked as fixed in versions ffmpeg/7:5.1.3-1.
> fixed 1034315 7:6.0-2
Bug #1034315 {Done: Sebastian Ramacher <sramacher@debian.org>} [src:ffmpeg] ffmpeg: 5.1, 6.0 libraries not co-installable
Marked as fixed in versions ffmpeg/7:6.0-2.
> severity 1034315 important
Bug #1034315 {Done: Sebastian Ramacher <sramacher@debian.org>} [src:ffmpeg] ffmpeg: 5.1, 6.0 libraries not co-installable
Severity set to 'important' from 'minor'
> thanks
Stopping processing here.

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