From: Derek L. <la...@sf...> - 2018-02-27 23:48:48
|
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 "pdl". The branch, cat_return_type has been deleted was e5707c08c5d607fd6868673bd7ae3968abe82b2a ----------------------------------------------------------------------- e5707c08c5d607fd6868673bd7ae3968abe82b2a Make cat return a piddle of the highest input type, not the first. ----------------------------------------------------------------------- hooks/post-receive -- pdl |