Updated mingle to work with latest mingle4r plugin.