Merge pull request #71 from BotondBaranyi/master
authorElemer Lelik <erititan@users.noreply.github.com>
Mon, 30 May 2016 13:44:59 +0000 (15:44 +0200)
committerElemer Lelik <erititan@users.noreply.github.com>
Mon, 30 May 2016 13:44:59 +0000 (15:44 +0200)
commit6ace577b1606f3c77bafdf2fb4e604425eae6892
tree2b4d3119057d12451bd21de2a9b6f2d2ac8134c3
parente94191bf21a4dad4544242aca258058cf0060606
parent9e3e25dcde92faeb702d5fc0842ec86bc99a5c4d
Merge pull request #71 from BotondBaranyi/master

Replaced unbound record elements with null pointers in record-ofs (bug 494614)
This page took 0.023786 seconds and 5 git commands to generate.