diff NOTICE @ 23:03e49edb0e90 default tip

Merge heads at 12:8db345e67278 and 22:fa1eef8595dc which were created as a result of a recently fixed bug.
author devteam <devteam@galaxyproject.org>
date Mon, 13 Jan 2014 12:38:18 -0500
parents a58d806f8575
children
line wrap: on
line diff