nitlanguage / nit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9183313 caad86c)
Merge: sepcomp: fix hardening related to the instantiation of dead types
authorJean Privat <jean@pryen.org>
Wed, 27 May 2015 10:12:32 +0000 (06:12 -0400)
committerJean Privat <jean@pryen.org>
Wed, 27 May 2015 10:12:32 +0000 (06:12 -0400)
The bug was revelated by #1385

Pull-Request: #1402
Reviewed-by: Lucas Bajolet <r4pass@hotmail.com>


Trivial merge
Nit language project; an oo programing language and its tool suite.