There are HEADER.html and README.html files under each component, and
also under the binaries/ and source/ folders.
Since the content is intended to be the same, the files under binaries
and source are set up as soft links to the files in the component
directory.
This means that only a single fil
On Tue, 17 Oct 2023 at 22:16, sebb wrote:
>
> Something went wrong with the publication of the dev staging files from
> 3.3-RC2.
>
> The commit [1] should have included the 6 HEADER.html and README.html
> files from the staging site, however these were left behind, e.g. [2]
On further investigat
There's another reason why using public constants is problematic:
The Java compiler inlines constants into the class that uses them.
So, if we change a constant and only recompile that class and not the
referencing class, we can get inconsistent constant values.
This means that changes to public
+1
> On Oct 21, 2023, at 7:46 PM, Gary Gregory wrote:
>
> Seems reasonable to me.
>
> Gary
>
> On Sat, Oct 21, 2023, 6:49 PM sebb wrote:
>
>> Reviving this thread.
>>
>> I think we should now change chain to dormant.
>>
>> Sebb
>>
>> On Sun, 8 Oct 2017 at 16:10, Pascal Schumacher
>> wrot
