Processing commands for cont...@bugs.debian.org: > retitle 950177 "make check" fails non-deterministically Bug #950177 [src:source-highlight] "make check" fails non-deterministically on arm64 Changed Bug title to '"make check" fails non-deterministically' from '"make check" fails non-deterministically on arm64'. > thanks Stopping processing here.
Please contact me if you need assistance. -- 950177: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=950177 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
