ve: add a comment about possible pseudosuper race

Submitted by Konstantin Khorenko on Oct. 24, 2019, 3:51 p.m.

Details

Reviewer None
Submitted Oct. 24, 2019, 3:51 p.m.
Last Updated Oct. 25, 2019, 9:43 p.m.
Revision 2

Revisions