f623fbc45d
Merge commit '1dde14bc84e39b81df7108a2d64a7918a97b20df' * commit '1dde14bc84e39b81df7108a2d64a7918a97b20df': Fix issue #2300232: Bugs in resolving conflicting pointers