8c4e779a4c
Merge commit 'e112b744c08cd7dcffe142f3cd22c96870bad482' * commit 'e112b744c08cd7dcffe142f3cd22c96870bad482': Fix issue #3056500: Problem report for ASTRO