You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fixes that renaming a group did not change the group name in the interface#4549
Merged
tobiasdiez merged 1 commit intomasterJabRef/jabref:masterfrom fixGroupCounterJabRef/jabref:fixGroupCounterCopy head branch name to clipboardDec 24, 2018