Processed: working on #1001037 and upgrading Kotlin

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 1001037 1.3.31+ds1-1
Bug #1001037 [src:kotlin] kotlin: CVE-2020-29582
Marked as found in versions kotlin/1.3.31+ds1-1.
> found 1001037 1.3.31+ds1-2
Bug #1001037 [src:kotlin] kotlin: CVE-2020-29582
Marked as found in versions kotlin/1.3.31+ds1-2.
> owner 1001037 !
Bug #1001037 [src:kotlin] kotlin: CVE-2020-29582
Owner recorded as Julien Plissonneau Duquène <sre4ever at free.fr>.
> reassign 1038744 src:kotlin
Bug #1038744 [kotlin] Update Kotlin to 1.3.40 or higher to enable reflection for Jitsi
Bug reassigned from package 'kotlin' to 'src:kotlin'.
No longer marked as found in versions 1.3.31.
Ignoring request to alter fixed versions of bug #1038744 to the same values previously set
> owner 1038744 !
Bug #1038744 [src:kotlin] Update Kotlin to 1.3.40 or higher to enable reflection for Jitsi
Owner recorded as Julien Plissonneau Duquène <sre4ever at free.fr>.
> thanks
Stopping processing here.

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