Subject: Re: possible double entry in targets list

From: Sergey Matveev <[email-masked]>
Date: Tue, 17 Jan 2023 12:17:13 +0300

Greetings!

*** [email-masked] [2023-01-14 19:06]:
> I found a possibly wrong behaviour of goredo. [...]

Thank you very much! Indeed that was the bug, where is simultaneously
tried to run the same target by a single redo-process. That lead to the
found error. Fixed that in 1.29.0 release. And also thank you for the
provided .do-files that just moved to the test case conveniently.

-- 
Sergey Matveev (http://www.stargrave.org/)
OpenPGP: 12AD 3268 9C66 0D42 6967  FD75 CB82 0563 2107 AD8A