Re: [PATCH 27/31] VAX: Make the `divmoddisi4' and `*amulsi4' comment notation consistent

[Segher Boessenkool]

On Fri, Nov 20, 2020 at 03:36:24AM +0000, Maciej W. Rozycki wrote:
> Use a double colon to introduce the comments like elsewhere throughout
> the VAX machine description.

It's a double semicolon, so kind of a single colon ;-)


Segher