owncloud/core — pull request #3473 by opensaucesystems (2013-05-23 15:45:27+00:00)
Title: Small update to user_webdavauth

This is my first time so forgive me if this is not the right way to do this.
I didn't think it was worth creating a new app just for these changes.