boyska/Tomb — comment on commit 768182887adabbe4ddaef8436c8b7f833fea9c43
File:  line 0
By jaromil:

thanks! that was quick. no need for pull req i'll rebase and merge now.