bugfix for crucial packages
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 1 Dec 2015 10:13:46 +0000 (11:13 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 1 Dec 2015 10:13:46 +0000 (11:13 +0100)
commit379cf55e18293c906bcde9900654529fbbce7342
treeb3c6a15b390acf55f9197903b0a95a94daa05611
parent01858514054bc7acde3e409ac4ccfb48c811667e
bugfix for crucial packages
there were no evidence this was really causing problems but well
NodeUpdate.py