Commit 13ff9e901c193017bf37229e261588b7bdbfe446

Stefan Sperling 2019-02-10T16:53:56

use break instead of goto to exit loop; no functional change