WC_Cart::get_cart_url is depreciated

WordPress logs are showing the following error:
[15-Nov-2017 14:06:31 UTC] PHP Notice: WC_Cart::get_cart_url is <strong>deprecated</strong> since version 2.5! Use wc_get_cart_url instead. in .../wp-includes/functions.php on line 3831

Please update line 42 of the file woocommerce-cart-count-shortcode.php from:

$cart_url   = WC()->cart->get_cart_url();

to
cart_url = wc_get_cart_url();