Skip to content

Fix Interface method handling#2023

Merged
pvojtechovsky merged 3 commits intoINRIA:masterfrom krakowski:fix/functional-interfaceJun 5, 2018