<div dir="ltr">Hi,<div><br></div><div>This patch fixes the source location for skipped regions so that they start before '#' and end after '#token'.</div><div><br></div><div>Alex</div><div><br></div></div>