19 May
2013
19 May
'13
5:55 a.m.
On 19 May 2013 00:44, Steven Watanabe
On 05/18/2013 04:36 PM, Jeffrey Yasskin wrote:
<snip>
Nothing else in the right-side navigation box looks like it's going to help. A couple times in the past, I've just given up at this point, but this time I decided to let you know about the problem.
Could someone write down how to fix a bug in Boost and put it somewhere I can find it on the website?
I've tried to make it a little easier to find that in the sidebar.