Nicholas Nethercote 49b90573ac Add some blank lines to the definition of Res.
To make the spacing consistent.

Also shorten an overly long comment line.
2022-09-05 14:20:16 +10:00
..
2022-07-06 23:04:55 +02:00