RFR(XS): 8197931: Null pointer dereference in Unique_Node_List::push of node.hpp:1510

[Roland Westrelin]

> Looks good to me too. Feel free to push after testing through the submit repo passed (see [1]).

Ok. Thanks for the reviews.

Roland.