> I will certainly check but it seems that you have not pushed the new
> changes to the public repository.

  Sorry, done now.

        Arthur

Reply via email to