tree 3237f584f7819abf5ddf6104cb22879b6b831e1b
parent 7802a6bb1cc6477810dff0e83ec90af954784612
author Gael Guennebaud <g.gael@free.fr> 1453979526 +0100
committer Gael Guennebaud <g.gael@free.fr> 1453979526 +0100

bug #96, bug #1006: fix by value argument in result_of.