[arch-projects] [dbscripts] [GIT] Official repo DB scripts annotated tag 20190713 created. 20190713

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "Official repo DB scripts". The annotated tag, 20190713 has been created at 00331c0ff67496af5279413da029ade368f

[arch-projects] [dbscripts] [GIT] Official repo DB scripts branch master updated. 20190713

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "Official repo DB scripts". The branch, master has been updated via 0706db69d48e8fa9423587f0d11727075b0d3d5f (commit) from