[debbugs-tracker] Processed: control message for bug #25414

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> user address@hidden
Setting user to address@hidden (was address@hidden).
> usertag 25414 reproducibility
bug#25414: address@hidden does not build deterministically
There were no usertags set.
Usertags are now: reproducibility.
>
End of message, stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/