PHP 7.2 Compatibility

Is this plugin compatible with PHP 7.2? I received a report from my hosting provider that lists a potential error:

File: wp-content/plugins/salon-booking-system/src/SLN/Third/GoogleScope.php
Error message: Since PHP 7.0, functions inspecting arguments, like debug_backtrace(), no longer report the original value as passed to a parameter, but will instead provide the current value. The parameter \$file\” was changed on line 12.”

Is this anything to worry about?