Code review comment for lp:~jamesh/storm/bug-697513

Revision history for this message
Gustavo Niemeyer (niemeyer) wrote :

This looks correct to me, and like a good optimization. +1

review: Approve

« Back to merge proposal