PHP error during database migration

Hi, I just resetted my complete Horde database and saw th

Sat, 11 Aug 2012 15:35:11 +0000

Hi, I just resetted my complete Horde database and saw this during the database initialization ("migration"): 2012-08-11T17:11:41+02:00 NOTICE: HORDE [horde] PHP ERROR: Undefined index: params [pid 20218 on line 30 of "/datastore/DEVEL/horde/kronolith/migration/21_kronolith_upgrade_exceptionutc.php"] Cheers, Thomas

Changes have been made in Git (develop): commit 13ce147504d

Mon, 13 Aug 2012 16:06:30 +0000

Changes have been made in Git (develop): commit 13ce147504d5b055d879755193530a8eb27ad02e Author: Michael J Rubinsky Date: Mon Aug 13 12:05:55 2012 -0400 Bug: 11344 Avoid undefined index errors. .../21_kronolith_upgrade_exceptionutc.php | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) http://git.horde.org/horde-git/-/commit/13ce147504d5b055d879755193530a8eb27ad02e

Changes have been made in Git (master): commit 13ce147504d5

Wed, 29 Aug 2012 12:47:26 +0000

Changes have been made in Git (master): commit 13ce147504d5b055d879755193530a8eb27ad02e Author: Michael J Rubinsky Date: Mon Aug 13 12:05:55 2012 -0400 Bug: 11344 Avoid undefined index errors. .../21_kronolith_upgrade_exceptionutc.php | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) http://git.horde.org/horde-git/-/commit/13ce147504d5b055d879755193530a8eb27ad02e