[commits] Core branch master updated. 0d6031556b3360dc5796238db5d01e8aec0dd1b3

[jan at horde.org]

The branch "master" has been updated.
The following is a summary of the commits.

from: bcaf7d7f37f9549a26fb1a0a61ae5a8b459321bc

0d60315 Add @since tags, fix setting preference user.

Summary: https://github.com/horde/Core/compare/bcaf7d7f37f9...0d6031556b33

-----------------------------------------------------------------------

commit 0d6031556b3360dc5796238db5d01e8aec0dd1b3
Author: Jan Schneider <jan at horde.org>
Date:   Tue, 14 Nov 2017 23:22:13 +0100

Add @since tags, fix setting preference user.

 M lib/Horde/Registry/Application.php

https://github.com/horde/Core/commit/0d6031556b3360dc5796238db5d01e8aec0dd1b3