Am Thu, Jun 27, 2024 at 03:31:00PM +0200 schrieb Ludovic Courtès: > Likewise, I like resolution of bug numbers and commit IDs, but I find > that echoing the title of HTML pages is often redundant and unnecessary.
Maybe this could be a good summary ("consensus") of what people have
expressed (including, ironically, the original rude private message)?
Keep reporting details on issues and commits, and drop other messages?
Andreas
