Verified Commit 1b733075 authored by Jakob Moser's avatar Jakob Moser
Browse files

Remove now unneeded defensive comment

parent 0a05afd1