jaromil/Tomb — comment on commit a87d4b62e2412f25b5089a7230121f69e2eef8ef
File: src/tomb line 134
By jaromil:

yes indeed, this needs to be fixed.