{"push_id":712527690,"size":1,"distinct_size":1,"ref":"refs/heads/releases/2.4","head":"5fff27dbc30fa91f90cd19f13b248304727ed321","before":"f2e3472853f9f23272f1d758e6267b5d981c9cc6","commits":[{"sha":"5fff27dbc30fa91f90cd19f13b248304727ed321","author":{"email":"6a295c5c718ff8da98c63729c6286959631fa8ab@gmail.com","name":"Dominic Kempf"},"message":"[bugfix][Release] Initialize index with an unsigned value\n\nWith the recent changes to bigunsignedint, the index cannot\nbe initialized with a negative value anymore. We change this\nto 1 to overcome the problem.\n\nThis commit together with the recent bugfixes by Ansgar\nfixes the AMG code on master.\n\n(cherry picked from commit bf0239472d01319211f5c0f7b37bf4938e9e29a2)\nSigned-off-by: Carsten Gräser <graeser@dune-project.org>","distinct":true,"url":"https://api.github.com/repos/dune-project/dune-common/commits/5fff27dbc30fa91f90cd19f13b248304727ed321"}]}