Commit eefa30c1c6db0772fc1af16de57e71b607903b56 updates Flint to 2.6.3 which is now LGPL. Kind regards, T G-R