commit 001f5a47861f04c985323677dfd17ef15b8c33a7
Author: Enrico Forestieri
Date: Wed Aug 12 16:35:12 2020 +0200
Fix bug #10263
---
src/insets/InsetFoot.h |4
1 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/src/insets/InsetFoot.h b/src/insets/InsetFoot.h
index
commit 3ceb5034905a4594fd100b8c29719699f3e87fb7
Author: Enrico Forestieri
Date: Wed May 24 00:24:54 2017 +0200
Fix bug #10263
---
src/insets/InsetFoot.h |2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
diff --git a/src/insets/InsetFoot.h