Skip to content

Oddity: Added open line in comment #1143

@jberdine

Description

@jberdine

Describe the bug
Since #1122, a comment such as

  (* 
    blah blah
  *)

(Note: there is a space following the (*)
gets formatted to

  (*

     blah blah
  *)

Since there is trailing whitespace in the original, it is perhaps ok, and can be worked around, but flagging for awareness.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions