Am 23.07.20 um 19:47 schrieb Christoph Moench-Tegeder: > ## Jochen Neumeister (joneum at FreeBSD.org): > >> + <range><lt>1.42.4,4</lt></range> > Shouldn't that be 1.42.4_4? > Yes, you're right. Thx for the hint :-) Fixed in r542953