Bug in the output of a table with verbatim cells and non-default size?

[Jürgen Spitzmüller]

Am Sonntag, dem 12.07.2026 um 20:13 +0100 schrieb José Matos:
> Now with the right attachment. :-)

I don't see a problem in the LaTeX output of this document.

-- 
Jürgen