The «develop» and «2.3-develop» git branches now contain an identical code

See also: