Frederik Rietdijk 419bc0a4cd Revert "Revert "Merge master into staging-next"" ... In 87a19e9048 I merged staging-next into master using the GitHub gui as intended. In ac241fb7a5 I merged master into staging-next for the next staging cycle, however, I accidentally pushed it to master. Thinking this may cause trouble, I reverted it in 0be87c7979. This was however wrong, as it "removed" master. This reverts commit 0be87c7979.		2020-02-05 19:41:25 +01:00
..
astronomy
biology	Revert "Revert "Merge master into staging-next""	2020-02-05 19:41:25 +01:00
chemistry	jmol: 14.30.1 -> 14.30.2	2020-02-01 03:50:56 +00:00
electronics	verilator: shebangs patch is not needed anymore	2020-01-30 20:42:51 +00:00
geometry	tetgen: 1.5.0 -> 1.5.1	2020-01-30 12:47:50 +00:00
logic	abc-verifier: passthru rev	2020-02-01 12:49:45 +01:00
machine-learning
math	Merge master into staging-next	2020-01-28 10:46:13 +01:00
medicine
misc	simgrid: 3.24 -> 3.25	2020-02-03 10:37:03 -08:00
molecular-dynamics
physics	sherpa: 2.2.6 -> 2.2.8 (#78852)	2020-01-30 13:08:47 -05:00
programming
robotics	treewide: fix redirected urls	2020-01-22 11:26:22 +01:00