Revision fd0b01e5
fix #6842 fix bugs in Registration.setName
Files
- added
- modified
- copied
- renamed
- deleted
ID | fd0b01e5e540f11c7880e236c3d41308499b3eac |
Parent | 3e674030 |
Child | 8081ee07 |
Added by Andreas Müller about 2 years ago
fix #6842 fix bugs in Registration.setName