On Jun 17, 2016, at 8:07 AM, Tony Papadimitriou <to...@acm.org> wrote:
> 
> After editing a couple of check-in comments

How, exactly?  Via fossil ui or fossil amend?

> I did ‘push’ and saw zero artifacts sent.

I just did two edits, one via ui on the remote server and one via amend in the 
local checkout followed by a push, and both edits appear on both sides now.  
This is with

  fossil version 1.36 [63313a5f16] 2016-06-15 15:00:15 UTC
_______________________________________________
fossil-users mailing list
fossil-users@lists.fossil-scm.org
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users

Reply via email to