[Box-Admins] Re: SqueakSource and source.squeak.org banners switched!

[David T. Lewis]

> Hi Dave, when I look at squeaksource.com, it has the green banner with
> title "Squeak Development" where source.squeak.org has the original
> _blue_ banner and says, "SqueakSource".
>
> How could this possibly happen?
>

They both look green to me. I think you are looking at
http://box4.squeak.org:8888/ instead of source.squeak.org.

Dave