[MinGW-cvs] [git push mingw.org-wsl]Repository: mingw.org-wsl branch develop deleted. c5aed03fa893c0457547efd55e831a7c1d180389

[Earnie B. <no...@so...>]

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 "Repository: mingw.org-wsl".

The branch, develop has been deleted
       was  c5aed03fa893c0457547efd55e831a7c1d180389

-----------------------------------------------------------------------
c5aed03fa893c0457547efd55e831a7c1d180389 Merge branch '4.0-dev' into develop

-----------------------------------------------------------------------


hooks/post-receive
-- 
Repository: mingw.org-wsl