elua/elua — comment on commit 1cd20f60acea6005a4e82770842e4e091a30f9f1
File:  line 0
By bogdanm:

Damn it. Sorry, Martin, I haven't noticed. I skipped the 'branch' line in the commit notification e-mail by mistake and apparently the github interface doesn't give any clue on the branch of the commit(s). All I can see is a large "elua/elua" on the top and no reference to Mizar32 at all on the rest of the page.