A better estimate of the maximum number of open patches we can keep (Unix-only at the moment)

Created by  pmeunier  on August 18, 2021
TYAKEAJLABCZQDYAI4YBGIJNQ7HJS4DVULEGPCZOGJPJUYYNR6TAC
Change contents