Processed: Re: Bug#914278: openjdk-11: Reproducible properties file header when SOURCE_DATE_EPOCH is specified

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> clone 914278 -1
Bug #914278 [src:openjdk-11] openjdk-11: Reproducible properties file header when SOURCE_DATE_EPOCH is specified
Bug 914278 cloned as bug 914289
> reassign -1 strip-nondeterminism
Bug #914289 [src:openjdk-11] openjdk-11: Reproducible properties file header when SOURCE_DATE_EPOCH is specified
Bug reassigned from package 'src:openjdk-11' to 'strip-nondeterminism'.
Ignoring request to alter found versions of bug #914289 to the same values previously set
Ignoring request to alter fixed versions of bug #914289 to the same values previously set
> block -1 by 914278
Bug #914289 [strip-nondeterminism] openjdk-11: Reproducible properties file header when SOURCE_DATE_EPOCH is specified
914289 was not blocked by any bugs.
914289 was not blocking any bugs.
Added blocking bug(s) of 914289: 914278
> retitle -1 strip-nondeterminism: disable javadoc handler
Bug #914289 [strip-nondeterminism] openjdk-11: Reproducible properties file header when SOURCE_DATE_EPOCH is specified
Changed Bug title to 'strip-nondeterminism: disable javadoc handler' from 'openjdk-11: Reproducible properties file header when SOURCE_DATE_EPOCH is specified'.
> # thanks Emmanuel
> --
Stopping processing here.

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