projects / deliverable / titan.core.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e94191b 9e3e25d)
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)
Replaced unbound record elements with null pointers in record-ofs (bug 494614)


Trivial merge
Titan Core - Deliverables
This page took 0.023692 seconds and 5 git commands to generate.