Small optimization in the SRT algorithm
Noticed by @simonmar in !1362 (closed):
If the srtEntry is Nothing, then it should be safe to omit references to this SRT from other SRTs, even if it is a static function.
Noticed by @simonmar in !1362 (closed):
If the srtEntry is Nothing, then it should be safe to omit references to this SRT from other SRTs, even if it is a static function.