[pmd-commits] [pmd/pmd-designer] 202877: Provide a fix for issue #10

2022-08-11 Thread Juan Martín Sotuyo Dodero via Pmd-commits
Branch: refs/heads/compat-7.0 Home: https://github.com/pmd/pmd-designer Commit: 2028779b44004d4f19e1f8d09860fef9f10f013b https://github.com/pmd/pmd-designer/commit/2028779b44004d4f19e1f8d09860fef9f10f013b Author: Juan Martín Sotuyo Dodero Date: 2022-08-10 (Wed, 10 Aug 2022)

[pmd-commits] [pmd/pmd-designer] 202877: Provide a fix for issue #10

2022-08-11 Thread Juan Martín Sotuyo Dodero via Pmd-commits
Branch: refs/heads/master Home: https://github.com/pmd/pmd-designer Commit: 2028779b44004d4f19e1f8d09860fef9f10f013b https://github.com/pmd/pmd-designer/commit/2028779b44004d4f19e1f8d09860fef9f10f013b Author: Juan Martín Sotuyo Dodero Date: 2022-08-10 (Wed, 10 Aug 2022)

[pmd-commits] [pmd/pmd-designer] 202877: Provide a fix for issue #10

2022-08-10 Thread Juan Martín Sotuyo Dodero via Pmd-commits
Branch: refs/heads/issue-10 Home: https://github.com/pmd/pmd-designer Commit: 2028779b44004d4f19e1f8d09860fef9f10f013b https://github.com/pmd/pmd-designer/commit/2028779b44004d4f19e1f8d09860fef9f10f013b Author: Juan Martín Sotuyo Dodero Date: 2022-08-10 (Wed, 10 Aug 2022)