>> This updates divecmd to 0.1.3. > > Given that this is very new software under very active development > and that no other ports depend on it, i committed right away, > to avoid trouble with the upcoming lock. > >> Attached is both the port and a patch of the contents. > > Only the diff was needed in this case. > > The rule of thumb is: > > - attach a .tar.gz for new ports > - send a diff inline for updates
Ingo, Good to know, will do from now on! Best, Kristaps