On Fri, 10 Sep 2021 18:42:07 GMT, Raffaello Giulietti
wrote:
>> This PR ideally continues #5285, which has been closed as a consequence of
>> inadvertently removing the branch on my repo. See there for initial
>> discussion.
>>
>> Sorry for the mess.
>
> Raffaello Giulietti has updated the
On Thu, 9 Sep 2021 23:44:49 GMT, Brian Burkhalter wrote:
>> Raffaello Giulietti has updated the pull request incrementally with one
>> additional commit since the last revision:
>>
>> 8271602: Add Math.ceilDiv() family parallel to Math.floorDiv() family
>
>
> This PR ideally continues #5285, which has been closed as a consequence of
> inadvertently removing the branch on my repo. See there for initial
> discussion.
>
> Sorry for the mess.
Raffaello Giulietti has updated the pull request incrementally with one
additional commit since the last
