tree afd2a6e35da3db4ddb25593f7639e8ef131b5107
parent 2327cd2085dec0c6061b9a2f1b742e21ff8cafd1
author Stephan Wahlbrink <sw@wahlbrink.eu> 1619689081 +0200
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1619689081 +0200

[SourceEditor] Fix nullable annotation of
ElementNameCompletionProposal.element