[Savannah-hackers-public] Patch for sr #106118

[Federico Gimenez Nieto]

Hi Sylvain,

I've pushed a patch for sr #106118, [1], is it already online?

[1]
http://git.savannah.gnu.org/cgit/savane-cleanup.git/commit/?id=86dde36dd8a71079da806cc0cd3111876064cd16

Cheers :),
Federico