On 4/7/21 8:36 AM, John Garry wrote: > To me, it seems odd that the double-underscore prefix symbol is public > (__elevator_exit), while the companion symbol (elevator_exit) is private. > > But it looks a sensible change to bring into the c file anyway. Hi John, Does the above reply count as a Reviewed-by? Thanks, Bart.
