I just ran `port sync`, but the ports are several days behind the GitHub 
repository.
Is anyone else having this problem?

-Marcus

Reply via email to