Yes, please! Check your plugin and make sure you are using the one for 0.7.2
This wouldn't have happened if you were using plugin_manager
Perhaps I'm the only one obsessed with plugin_manager in the crowd
but it has made my life a LOT easier when upgrading multiple plugins on different installations. This is one good example of what we are trying to overcome; mismatching plugins-Roundcube versions.