| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Sun Jul 4 09:47:16 EDT 2010 |
|
At Sun, 04 Jul 2010 14:06:13 +0400, Dmitry Dzhus wrote: > I think this commit broke building without places support: > [...] > > The attached patch should fix the problem. Patch pushed to the git repo --- thanks!
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}