Project

General

Profile

« Previous | Next » 

Revision db226011

Added by Andreas Müller about 3 years ago

fix #9382 handle potential NPE and adapt label to make clear that it is not the name itself but the source that is referencing

  • added
  • modified
  • copied
  • renamed
  • deleted