On 25/02/2020 09:19, Ben Franksen wrote: > PS & BTW: I noticed that our latest tag 2.15.2 is unclean in screened. > Can we fix that? I just logged into darcs-unstable and ran "darcs optimize reorder" in the screened repo, which seems to have done the job. Probably time for a new tag in reviewed soon. Ganesh