andreasgal/gaia — pull request #780 by etiennesegonzac (2012-03-13 18:45:39+00:00)
Title: Dogfood polishing

This pull request fixes some little annoyance I encountered today.