Git log from I20251126-1800 (previous) to I20251126-2330 (current)

The tagging, and this report, were done at about 20251126-2337