| From: Greg Hendershott (greghendershott at gmail.com) Date: Thu Oct 3 10:50:41 EDT 2013 |
|
> I'm pretty sure this is a bug in `setup/collects` (or maybe > elsewhere), and I reported it as PR 14063. Oh. In that case: 1. Thank you for logging the bug. 2. I'm sorry for the redundancy here on the mailing list.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}