On 31.05.22 22:06, Justin Pryzby wrote:
On Wed, May 18, 2022 at 11:57:15AM -0500, Justin Pryzby wrote:I prefer my original, but the most important thing is to include the link at *somewhere*.Any other opinions ?
Álvaro's patch seems ok to me. What are you concerned about? Do you have an alternative suggestion? It's a bit hard to figure out the specifics of what everyone is thinking.
