Skip to content
GitLab
6.101.28
erwan's avatar
erwan
@jahier
fe2e657b · Fix ci: rdbg now have some ext dep (because of ledit, because of camlp5) ·
Release 6.101.28 
Release 6.101.28

Fix

  • a bug in -esa, wrt struct. The type of some resulting expr was wrong. (c6d6814)