]> git.lyx.org Git - features.git/commit
Prevent wrong reference to duplicated (but deleted) label
authorJuergen Spitzmueller <spitz@lyx.org>
Sun, 29 Mar 2020 15:47:59 +0000 (17:47 +0200)
committerJean-Marc Lasgouttes <lasgouttes@lyx.org>
Thu, 18 Jun 2020 13:48:55 +0000 (15:48 +0200)
commitfb2f7076a71db720f01843b02c96a447c20e4e9c
tree56e901669dd368009c8879cfc905983c78a42c85
parentf3be15db29e2645852736bfeea4abfaf084c2279
Prevent wrong reference to duplicated (but deleted) label

Fixes #11803
src/insets/InsetLabel.cpp