On 06/10/2015 01:01 PM, Anton Gladky wrote:
Done. Please tag git-repo properly.
Thanks, Anton! The tags are up-to-date now.