Changes   orig/srq-srqNT.txt → wb-plus/srq-srqNT.txt    February 24, 2023 at 23:21    Script wb_pprint_html.py   by Ulf Hermjakob

Summary

3 show Total 
3 show Ũ → Ũ LATIN CAPITAL LETTER U + COMBINING TILDE → LATIN CAPITAL LETTER U WITH TILDE

All 3 diff lines