On Tue, 7 Nov 2023 16:32:43 GMT, Per Minborg <pminb...@openjdk.org> wrote:
>> This PR proposes to remove two `permits` declarations where the line >> overflows the stipulated maximum column with. Also, it proposes to harmonize >> the layout of `permit` formatting so they are the the same throughout the >> API. >> >> This PR might be perceived as over worked but I think it nice to get >> consistency across the API now that we go final. > > Per Minborg has updated the pull request incrementally with one additional > commit since the last revision: > > Revert some foramtting Marked as reviewed by mcimadamore (Reviewer). ------------- PR Review: https://git.openjdk.org/jdk/pull/16528#pullrequestreview-1718171040