Undefined variable notice in time_stop()

PHP Notice found while in Admin on WP trunk

PHP Notice: Undefined variable: value in /srv/www/wp-content/plugins/debug-bar-slow-actions/debug-bar-slow-actions.php on line 47

Full stack trace:

[28-Mar-2014 18:30:16 UTC] PHP Stack trace:
[28-Mar-2014 18:30:16 UTC] PHP   1. {main}() /srv/www/wp/wp-cron.php:0
[28-Mar-2014 18:30:16 UTC] PHP   2. do_action_ref_array() /srv/www/wp/wp-cron.php:100
[28-Mar-2014 18:30:16 UTC] PHP   3. call_user_func_array() /srv/www/wp/wp-includes/plugin.php:544
[28-Mar-2014 18:30:16 UTC] PHP   4. Debug_Bar_Slow_Actions->time_stop() /srv/www/wp/wp-includes/plugin.php:544
[28-Mar-2014 21:24:27 UTC] PHP Notice:  Undefined variable: value in /srv/www/wp-content/plugins/debug-bar-slow-actions/debug-bar-slow-actions.php on line 47

Suggested fix is to define a default value for the apparently optional argument on line 41.

function time_stop( $value = null ) {

https://wordpress.org/plugins/debug-bar-slow-actions/